https://www.rhosignal.com/posts/polars-diagonal-concatenation/