@hackage higgledy0.4.0.0

Partial types as a type constructor.

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