Module type Kxclib.MonadOpsS

type _ t
val return : 'a -> 'a t
val returning : 'a -> _ -> 'a t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>>) : 'x t -> 'y t -> 'y t
val (>|=) : 'x t -> ('x -> 'y) -> 'y t
val sequence_list : 'a t list -> 'a list t
val (>>=*) : 'x t list -> ('x list -> 'y t) -> 'y t