ERROR "mod27.hs":3 - Type synonyms "T1" and "T2" are mutually recursive