type-level-0.2.1: Type-level programming library