Почему в Haskell есть конструктор значений в дополнение к конструктору типов?

Я новичок в Haskell и сейчас прохожу через Real World Haskell. В книге говорится, что конструктор типа используется только в сигнатуре типа, а конструктор зн...