blob: 9f4e65b344fb62521e3b38fceb7dde3f471c6d63 (
plain)
1
2
3
4
|
type role Coercible representational representational
class Coercible a b => Coercible (a :: k0) (b :: k0)
-- Defined in ‘GHC.Types’
coerce :: Coercible a b => a -> b -- Defined in ‘GHC.Prim’
|