Correct subtyping order.