Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail2.hs
1 {-# LANGUAGE MultiParamTypeClasses #-}
2
3 import Data.Coerce (Coercible)
4
5 instance Coercible () ()
6
7 main = return ()