testsuite/tests/typecheck/should_fail/T8514.stderr


1
2
3
4
5
6
7


T8514.hs:3:16:
    Expecting one more argument to ‘Maybe’
    The second argument of a tuple should have kind ‘*’,
      but ‘Maybe’ has kind ‘* -> *’
    In the type ‘(a, Maybe)’
    In the type declaration for ‘T’