Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail182.hs
1 module Foo where
2
3 import qualified Prelude
4 import Prelude hiding( Maybe )
5
6 data Maybe a = Foo
7
8 f :: Prelude.Maybe a -> Int
9 f Foo = 3