ERROR "tcfail101.hs":9 - Not enough arguments for type synonym "A"