testsuite/tests/typecheck/should_fail/tcfail078.stderr


1
2
3
4
5
6


tcfail078.hs:5:6: error:
    • Expecting one fewer argument to ‘Integer’
      Expected kind ‘* -> Constraint’, but ‘Integer’ has kind ‘*’
    • In the type signature:
        f :: Integer i => i