type-level-0.2.4: Type-level programming library