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’