path: root/testsuite/tests/typecheck/should_fail/TcCoercibleFail2.hs

{-# LANGUAGE MultiParamTypeClasses #-}

import Data.Coerce (Coercible)

instance Coercible () ()

main = return ()