It's safe to coerce to Any as long as you don't coerce back. We define our own Any instead of using the one in GHC.Exts directly to ensure that this module doesn't clash with one making the opposite assumption. We use a newtype rather than a closed type family with no instances because the latter weren't supported until 8.0.