ERROR "tcfail129.hs":12 - Not enough arguments for type synonym "Foo"
