type_constructor 0.2.0

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