base-compat-0.11.2: A compatibility layer for base
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Type.Coercion.Compat

Documentation

gcoerceWith :: forall k (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #