Now can merge polymorphic lists into one sorted list with given operator