optionMonad

Monad