Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.stderr
1
2 T7368.hs:3:10: error:
3     • Couldn't match kind ‘*’ with ‘* -> *’
4       When matching types
5         b0 :: *
6         Maybe :: * -> *
7       Expected type: a0 -> b0
8         Actual type: c0 Maybe
9     • In the first argument of ‘b’, namely ‘(l Nothing)’
10       In the expression: b (l Nothing)
11       In an equation for ‘f’: f = b (l Nothing)