ERROR "test/static/s033.hs" (line 2): Type synonyms "T1" and "T2" are mutually recursive