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