Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8806.hs
1 -- Trac #8806
2
3 module T8806 where
4
5 f :: Int => Int
6 f x = x + 1
7
8 g :: (Int => Show a) => Int
9 g = undefined