first-class-families-0.3.0.1: First class type families

first-class-families-0.3.0.1: First class type families

First class type families, eval-style defunctionalization

See Fcf.

Signatures

Modules