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