# type constructor

> feature of a typed formal language that builds new types from old ones

**Wikidata**: [Q7860899](https://www.wikidata.org/wiki/Q7860899)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Type_constructor)  
**Source**: https://4ort.xyz/entity/type-constructor