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

Manuel M T Chakravarty chak at
Tue Feb 16 00:30:26 UTC 2016

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


More information about the ghc-devs mailing list