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

[Manuel M T Chakravarty]

> Ben Gamari <ben at smart-cactus.org>:
> 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