ref: b4a7a0d4c04ad0fb96d0b279d35da2658d58a0e1
dir: /lib/Data/Coerce.hs/
module Data.Coerce(Coercible, coerce) where import Prelude() import Primitives type Coercible :: forall k . k -> k -> Constraint class Coercible a b coerce :: forall a b . Coercible a b => a -> b coerce = primUnsafeCoerce