sig
  type 'a t
  val bind :
    'Extlib.Monad.S.t -> ('-> 'Extlib.Monad.S.t) -> 'Extlib.Monad.S.t
  val return : '-> 'Extlib.Monad.S.t
  val failwith : string -> 'Extlib.Monad.S.t
end