Res_list.Syntax
val (let**) : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t
val (let++) : ('a, 'c) t -> ('a -> 'b) -> ('b, 'c) t
val (let--) : ('c, 'a) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t