however, an either can be generated outside of a m...
# arrow
n
however, an either can be generated outside of a monad too