That also seems like a potential gateway to seamle...
# arrow
b
That also seems like a potential gateway to seamless interoperation between isomorphic types in Arrow & Cats