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