base-compat-0.10.5: A compatibility layer for base

Safe HaskellTrustworthy
LanguageHaskell98

Data.Type.Coercion.Compat

Documentation

gcoerceWith :: Coercion a b -> (Coercible a b -> r) -> r #