1 2 3 4
module ShouldFail where -- !!! Testing recursive type synonyms type T1 = (Int,T2) type T2 = (Int,T1)