include Preface.Specs.Applicative.INFIX with type 'a t := 'a Freer.t
val (<*>) : ('a -> 'b) Freer.t -> 'a Freer.t -> 'b Freer.tval (<**>) : 'a Freer.t -> ('a -> 'b) Freer.t -> 'b Freer.tval (*>) : unit Freer.t -> 'a Freer.t -> 'a Freer.tval (<*) : 'a Freer.t -> unit Freer.t -> 'a Freer.tinclude Preface.Specs.Monad.INFIX with type 'a t := 'a Freer.t
val (=|<) : ('a -> 'b) -> 'a Freer.t -> 'b Freer.tval (>|=) : 'a Freer.t -> ('a -> 'b) -> 'b Freer.tval (>>=) : 'a Freer.t -> ('a -> 'b Freer.t) -> 'b Freer.tval (=<<) : ('a -> 'b Freer.t) -> 'a Freer.t -> 'b Freer.tval (>=>) : ('a -> 'b Freer.t) -> ('b -> 'c Freer.t) -> 'a -> 'c Freer.tval (<=<) : ('b -> 'c Freer.t) -> ('a -> 'b Freer.t) -> 'a -> 'c Freer.tval (>>) : unit Freer.t -> 'b Freer.t -> 'b Freer.tval (<<) : 'a Freer.t -> unit Freer.t -> 'a Freer.tval (<$>) : ('a -> 'b) -> 'a Freer.t -> 'b Freer.tval (<&>) : 'a Freer.t -> ('a -> 'b) -> 'b Freer.tval (<$) : 'a -> 'b Freer.t -> 'a Freer.tval ($>) : 'a Freer.t -> 'b -> 'b Freer.t