@hackage higgledy0.4.2.1

Partial types as a type constructor.

Use the generic representation of an ADT to get a higher-kinded data-style interface automatically.