with `Unit` works because you can go from `None` t...
# arrow
r
with
Unit
works because you can go from
None
to
Unit
and back without information loss