a monad inside a monad inside another monad
# arrow
n
a monad inside a monad inside another monad