Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T2414.hs
1 -- Test for Trac #2414
2 -- Should provoke an occurs-check error
3
4 module ShouldFail where
5
6 unfoldr :: (b -> Maybe (Bool, b)) -> Bool
7 unfoldr = unfoldr
8
9 f = unfoldr Just