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.
Randall Holmes
- 206
- 2
- 3