sig type 'a t val bind : 'a Monad.MONAD_MINIMAL.t -> ('a -> 'b Monad.MONAD_MINIMAL.t) -> 'b Monad.MONAD_MINIMAL.t val unit : 'a -> 'a Monad.MONAD_MINIMAL.t end