type-combinators

Type level lists, pairs, sums, their operations, and their properties.