Unpacking single-field, single-strict-constructor GADTs and existentials

Ben Gamari 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
> newtype.

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?


- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160524/44e5fab8/attachment.sig>

More information about the ghc-devs mailing list