type D = E;
type E = F;
type F = G;
type G = D;