testsuite/tests/typecheck/should_fail/T7368.stderr


1
2
3
4
5
6
7


T7368.hs:3:10: error:
    • Couldn't match kind ‘*’ with ‘* -> *’
      When matching the kind of ‘Maybe’
    • In the first argument of ‘b’, namely ‘(l Nothing)’
      In the expression: b (l Nothing)
      In an equation for ‘f’: f = b (l Nothing)