base-compat-0.11.1: A compatibility layer for base
Safe HaskellTrustworthy
LanguageHaskell98

Data.Type.Coercion.Compat

Documentation

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