monomorphic (hackage): This library provides the type-class and functions to convert between polymorphic data-types and its monomorphic representation type, such as length-indexed vectors, singletons for type-level natural numbers, etc.
Keywords: bsd3|data|deprecated|library