On Sat, Aug 8, 2015 at 5:11 PM, Tom Ellis <tom-lists-haskell-cafe-2013@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@gmail.com ballbery@sinenomine.net

unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net