type_constructor 0.1.16

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