forms a monad so it should
# arrow
p
forms a monad so it should