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

tcfail070.hs:15:15: error:
    • Expected kind ‘* -> k0’, but ‘[Int]’ has kind ‘*’
    • In the type ‘([Int] Bool)’
      In the type declaration for ‘State’