Haskell Data type

A collection of data types for type-level programming

Various type-aligned sequence data structures.

Type-level programming library

Type equality, coercion/cast and other operations.

Type-level programming library (type families)

Collection of widely reimplemented type families

Type-level and typed unary natural numbers, inequality proofs, vectors

Quasiquoters for the 'type-combinators' package.

Type-indexed maps

Interop between /type-combinators/ and /singletons/.

Provides integers lifted to the type level