A proposed Arrow analogue to the Maybe monad.