1 2 3 4 5 6 7
-- This one broke GHC 5.02, because of the unsaturated -- uses of type synonyms, which are nevertheless kind-correct. module ShouldCompile where type A i = i type B = A