first-class-families (hackage): A library for type-level programming.  See README.
Keywords: library|mit|other|dependent-types|haskell|types