Typing Lists Position Superposition.