Description
A Haskell library for treating type families as first-class entities. It supports advanced type-level programming where type-level functions need to be passed, composed, or abstracted over.
Developers use it in generic libraries and heavily typed APIs. This improves expressiveness, but the resulting type errors can be complex, so public APIs should be documented carefully.