Proposal: Export Any from Unsafe.Coerce

Richard Eisenberg eir at
Tue Sep 15 14:10:29 UTC 2015

Sounds reasonable to me. Also, see #10886, which this request prompted me to make.


On Sep 14, 2015, at 1:44 PM, David Feuer <david.feuer at> wrote:

> Any is the sanctioned intermediary for unsafeCoerce. GHC claims to guarantee that any lifted type can be coerced to and from Any without harm. Yet Any seems to be available only from the deeply mystical GHC.Prim, which users outside the GHC source tree are never supposed to import. While GHC.Exts would be an acceptable place, I think Unsafe.Coerce is more appropriate, and will make it easier for users to find this type.
> _______________________________________________
> Libraries mailing list
> Libraries at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list