higgledy

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