Module Make.Infix

val (>>>) : ('i1'r1) t -> ('r1'r2) t -> ('i1'r2) t

a >>> b is compose a b

val (>>|) : ('input'r1) t -> ('r1 -> 'r2) -> ('input'r2) t

t >>| f is map t ~f

val (@>>) : ('i1 -> 'i2) -> ('i2'result) t -> ('i1'result) t

f @>> t is the map_input t ~f