sig
  type 'a t
  val ( >>= ) :
    'Monad.MONAD.t -> ('-> 'Monad.MONAD.t) -> 'Monad.MONAD.t
  val ( >> ) : 'Monad.MONAD.t -> 'Monad.MONAD.t -> 'Monad.MONAD.t
  val return : '-> 'Monad.MONAD.t
  val run : 'Monad.MONAD.t -> 'a
end