Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail208.hs
1 module Ctx where
2
3 f :: (Monad m, Eq a) => a -> m a -> Bool
4 f x y = (return x == y)
5