On Sun, Aug 3, 2014 at 2:58 AM, David Feuer <david.feuer@gmail.com> wrote:

I'm
not even sure why they're called that, but what they *really* are is a
mechanism for functions to return multiple values

They are unboxed in a way similar to the way the others are: no constructor in their internal representation. They *do* have an extra level of indirection still, just not the constructor cell that normally goes with it. (This is also why historically their use in GHC has been rather restricted.)

brandon s allbery kf8nh sine nomine associates

allbery.b@gmail.com ballbery@sinenomine.net

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