type_constructor (cargo): Fundamental data types and type constructors, like Single, Pair, Many. 
Keywords: general-purpose|fundamental