Type constructor

A function at the type level that builds new types from existing ones, such as List, Array, or the arrow constructor ($\begin{array}{l}\\ to\end{array}$) 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.