testsuite/tests/typecheck/should_fail/tcfail028.stderr


1
2
3
4
5
6
7


tcfail028.hs:4:17:
    Expecting one more argument to ‛A a’
    Expected a type, but ‛A a’ has kind ‛k0 -> *’
    In the type ‛A a’
    In the definition of data constructor ‛B’
    In the data declaration for ‛A’