or would I find it elsewhere? as Option has a Mona...
# arrow
d
or would I find it elsewhere? as Option has a Monad instance? (sorry am new to using arrow and probably trying to smush haskell stuff out wont work directly)