Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3155.stderr
1
2 T3155.hs:13:18:
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>