I guess this <https://github.com/arrow-kt/arrow/pu...

# arrow-contributors

[AdrianRaFo]

I guess this https://github.com/arrow-kt/arrow/pull/1255 should be first to be sure all laws and test are passing