|
|
|
|
|
|
by feanaro
3203 days ago
|
|
|
Can you name an instance in Haskell where newtype is conceptually unnecessary but required by the language? In the sense that you may be able to derive the same set of logical guarantees that newtype gets you without using it, in principle. |
|
|