type_constructor 0.3.0

Fundamental data types and type constructors, like Single, Pair, Many.
Documentation