engl.: constructor (functional)

Konstruktorfunktionen oder Konstruktoren liefern Werte eines Datentyps. Sie können in Mustern verwendet werden.

Ein Wert heißt hier strukturiert, wenn er mittels Konstruktoren aus anderen Werten zusammengebaut wurde.