type A = B
type B = C
type C = A