@hackage higgledy0.2.0.1

Partial types as a type constructor.

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