but that's inside a monad

# arrow

[noncom]

but that's inside a monad