Type constructor

A function at the type level that builds new types from existing ones, such as List, Array, or the arrow constructor ($\\to$) that constructs function types.

A function at the type level that builds new types from existing ones, such as List, Array, or the arrow constructor ($\to$) that constructs function types.