type-level-0.2.2: Type-level programming library