Why do I have to use newtype when my data type declaration only has one constructor?

Asked Aug 26 '14 at 19:13

Active Aug 26 '14 at 19:13

Viewed 104 times

In other words, if I have a declaration like

data Identity a = Identity a

why can't GHC see that I only have one constructor and pretend that it is seeing newtype instead of data?

asked Aug 26 '14 at 19:13

Emil

2

You don't **have** to use `newtype` at all. You just don't get the convenience that `newtype` gives. – Code-Apprentice Aug 26 '14 at 19:16
9

http://stackoverflow.com/a/2650051/509936 – Onyxite Aug 26 '14 at 19:17

0 Answers0