https://www.rhosignal.com/posts/polars-with-set-sorted/