@hackage monomorphic0.0.1.2

Library to convert polymorphic datatypes to/from its monomorphic represetation

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.