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

module App where

import Data.Coerce

foo :: Coercible (a b) (c d) => a b -> c d
foo = coerce