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

tcfail078.hs:5:6:
    ‛Integer’ is applied to too many type arguments
    In the type signature for ‛f’: f :: Integer i => i