ERROR "tcfail100.hs":7 - Not enough arguments for type synonym "A"
