we have an IO monad too!
# arrow
p
we have an IO monad too!