fcf-containers (hackage): Package fcf-containers provides type-level functions and data structures that operate on type-level computations. Specifically, we mimick the contents of containers-package and show how these can be used. Everything is based on the ideas given in the first-class-families -package.
Keywords: bsd3|library|other|program|dependent-types|haskell|haskell-library|types