It is not.  It is very important, very awful, and quite intended that the membership relation between the same two types is the same in different sequences of types.