Ich bin ein Neuling in Haskell und mache gerade Real World Haskell durch. Das Buch besagt, dass der Typkonstruktor nur in der Typensignatur verwendet wird, während der Wertkonstruktor im tatsächlichen Code verwendet wird. Es gibt auch ein Beispiel für eine Deklaration, die zeigt, dass die Namen für beide unabhängig voneinander sind. Warum werden überhaupt zwei Konstruktoren benötigt, wenn nur einer davon im eigentlichen Code verwendet wird? Welchen Zweck erfüllt der Typkonstruktor, da wir den Typkonstruktor im tatsächlichen Code nicht verwenden würden?