tcfail070.hs:15:15:
    Expecting one fewer argument to ‘[Int]’
    Expected kind ‘* -> k0’, but ‘[Int]’ has kind ‘*’
    In the type ‘[Int] Bool’
    In the type declaration for ‘State’