ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/T10185.hs

module T10185 where

import Data.Coerce
import Data.Proxy

foo :: (Coercible (a b) (c d), Coercible (c d) (e f)) => Proxy (c d) -> a b -> e f
foo _ = coerce