Using `generics-sop` to get type metadata info at compile time...

Deriving projection functions using `generics-sop`...

Case-matching on `NS` type...

Generic isomorphism between sums and heterogeneous sums...

Reifying types with generics-sop metadata...

Super classes with All from generics-sop...