Re: New type of ($) operator in GHC 8.0 is problematic

Ben Gamari : builds. In effect the message to users would be,

"yes, unboxed types exist and they are now on sound theoretical footing, but they are still largely an implementation detail, just as they have always been. If you want to use them you need to know where to look."

Perhaps this can be revisited at some point in the future when we have a better story for a beginner's Prelude but for now I'm not sure we want to subject everyone to these new types.

Anyways, this is just my two cents. It would be nice to hear what others think.

Sounds like a good plan to me. Manuel