ERROR "tcfail132.hs":21 - Not enough arguments for type synonym "T"