type-combinators (hackage): Type level lists, pairs, sums, their operations, and their properties.
Keywords: bsd3|data|library