В чем разница между типом и типом данных в Haskell?

Меня немного смущает разница между типом и типом данных в Haskell.

Из литературы, с которой я столкнулся, у меня сложилось впечатление, что это разные концепции.