Por que há um construtor de valor além do construtor de tipo no Haskell?

Sou recém-chegado a Haskell e atualmente estou passando pelo Real World Haskell. O livro diz que o construtor de tipo é usado apenas na assinatura de tipo, e...