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