In development parts of the Arrow Prelude <https://github.com/arrow-kt/arrow-meta/tree/rr-type-conve...
r