Я новичок в Haskell и сейчас прохожу через Real World Haskell. В книге говорится, что конструктор типа используется только в сигнатуре типа, а конструктор значения используется в реальном коде. Это также дает пример объявления, чтобы показать, что имена для обоих не зависят друг от друга. Зачем в первую очередь два конструктора, если в реальном коде используется только один из них? Так как мы не будем использовать конструктор типа в реальном коде, для какой цели служит конструктор типа?