f187aee61c33c97d8b5a1c7b78a7a0fa5a53588d
[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 the kind of ‘Maybe’
5     • In the first argument of ‘b’, namely ‘(l Nothing)’
6       In the expression: b (l Nothing)
7       In an equation for ‘f’: f = b (l Nothing)