Module Deriving_monad.Monad_option

module Monad_option: MonadPlus  with type 'a m = 'a option

include Deriving_monad.Monad
val mzero : 'a m
val mplus : 'a m -> 'a m -> 'a m