Additionally you may be able to `traverse` and `se...
# arrow
r
Additionally you may be able to
traverse
and
sequence
those to flip the types around as needed.