> Nitpick: Please do not call it a 'Maybe monad'. > It is not a monad: It's neither a functor not does it have a μ operator. > (This could be fixed though.) Furthermore, opDispatch does not behave > analogously to a (restricted) monadic bind operator Yes, it's more like a failsafe than a maybe. failsafe(c).left.right ...