since you achieve imperative syntax for all monads
# arrow
r
since you achieve imperative syntax for all monads