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.