Fold_Map_Plus.I
val (<$>) : ('a -> 'b) -> 'a P.t -> 'b P.t
val (<@>) : 'a P.t -> ('a -> 'b) -> 'b P.t
val (<|>) : 'a P.t -> 'a P.t -> 'a P.t