path: root/testsuite/tests/typecheck/should_fail/tcfail078.stderr

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