@hackage higgledy0.3.1.0

Partial types as a type constructor.

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