小编Hog*_*ama的帖子

一些库用于unsafeCoerce临时满足约束:

class Given a where given :: a

newtype Gift a r = Gift (Given a => r)

give :: forall a r. a -> (Given a => r) -> r
give a k = unsafeCoerce (Gift k :: Gift a r) a

(这个例子来自反射包. 单圈包也使用这个技巧.)

为什么这样unsafeCoerce安全？是否有这保证任何正式文件Given a => r,并a -> r在GHC相同的运行时表示？