# Module type Monad_intf.Monad.Infix

    module type Infix = Monad_intf.Infix

    type 'a t

    val (>>=) : 'a t ->
           ('a -> 'b t) -> 'b t

`t >>= f` returns a computation that sequences the computations represented by two monad elements. The resulting computation first does `t` to yield a value `v`, and then runs the computation returned by `f v`.

    val (>>|) : 'a t -> ('a -> 'b) -> 'b t

`t >>| f` is `t >>= (fun a -> return (f a))`.