testsuite/tests/typecheck/should_fail/tcfail070.stderr

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