can a arrow be embedded in a monad\n\nis that even what im trying to do here, kind of lost my way again. think i just need to think this though a bit