Unordered would be if cons(a, b) == cons(b, a) which is not the case