Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail166.stderr
1
2 tcfail166.hs:5:21:
3     Illegal symbol '.' in type
4     Perhaps you intended to use RankNTypes or a similar language
5     extension to enable explicit-forall syntax: forall <tvs>. <type>