typelevel

Haskell library. Useful type level operations (type families and related operators).