testsuite/tests/typecheck/should_fail/tcfail225.stderr


1
2
3
4
5
6
7


tcfail225.hs:9:19: error:
    • Couldn't match kind ‘k’ with ‘*’
      Expected kind ‘k -> *’, but ‘Maybe’ has kind ‘* -> *’
    • In the first argument of ‘T’, namely ‘Maybe’
      In the type ‘T Maybe (m a)’
      In the definition of data constructor ‘MkT’