Unpacking single-field, single-strict-constructor GADTs and existentials
ben at well-typed.com
Tue May 24 20:18:49 UTC 2016
David Feuer <david.feuer at gmail.com> writes:
> Not really. It's really just the newtype optimization, although it's not a
Ahh, I see. Yes, you are right. I was being silly.
However, in this case wouldn't it make more sense to just call it a newtype?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 472 bytes
Desc: not available
More information about the ghc-devs