Module S.Infix

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

a >>> b is compose a b

val (>>|) : ('input'model'r1) t -> ('r1 -> 'r2) -> ('input'model'r2) t
val (@>>) : ('i1 -> 'i2) -> ('i2'model'result) t -> ('i1'model'result) t