Don't sort type variables in list destructuring subtyping