yeah that's preapplied for the monad
# arrow
p
yeah that's preapplied for the monad