type-combinators-0.1.2.1: A collection of data types for type-level programming