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

tcfail070.hs:15:15:
    ‘[Int]’ is applied to too many type arguments
    In the type ‘[Int] Bool’
    In the type declaration for ‘State’