MIT licensed by Li-yao Xia
Maintained by [email protected]
This version can be pinned in stack with:first-class-families-,953

Module documentation for

Depends on 1 package(full list with versions):

First-class type families Hackage Build Status

Haskell with only one type family (blogpost)

See src/Fcf.

Contributions are welcome. Feel free to open an issue or make a PR on Github!


  • GHC 8.6 compatibility

  • More new functions, thanks to isovector

  • A whole bunch of basic functions, thanks to isovector
  • Remove Traverse (now Map), BimapPair, BimapEither (now Bimap)

Initial version