¿Por qué hay un constructor de valores además del constructor de tipos en Haskell?

Soy un recién llegado a Haskell y actualmente estoy pasando por Real World Haskell. El libro dice que el constructor de tipo se usa solo en la firma de tipo ...