Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail166.hs
1 -- Without -XScopedTypeVariables, this should fail
2
3 module ShouldFail where
4
5 destroy :: (forall a. (a -> Maybe (b,a)) -> a -> c) -> [b] -> c
6 destroy = error "urk"