I\'m a little confused as to the difference between a type and a data type in Haskell.
From the literature I have enc
The terms are sometimes mixed, but usually a "data type" refers to a type introduced using the data
keyword, which has constructors you can pattern match on. These are also called algebraic data types".
Just "type" is a more general term which also includes types created using newtype
, function types and so on.