path: root/testsuite/tests/typecheck/should_compile/T9117_3.hs

module T9117_3 where

import Data.Type.Coercion
import Data.Coerce

eta :: Coercible f g => Coercion (f a) (g a)
eta = Coercion