Proposal: Export Any from Unsafe.Coerce

David Feuer david.feuer at
Mon Sep 14 17:44:40 UTC 2015

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list