[Haskell-cafe] an idea for modifiyng data/newtype syntax: use `::=` instead of `=`

[Brandon Allbery]

On Sat, Aug 8, 2015 at 5:11 PM, Tom Ellis <
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> wrote:

> No, not at all.  I'm making a much stronger claim than that.  I'm claiming
> the functionality provided by newtype is completely subsumed by that
> provided by data.
>

When did `data` start guaranteeing that the representation of a single
constructor, strict `data' wrapper around another type is exactly the same
as the wrapped type?

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150808/c515da05/attachment.html>