1-F.Applicative_infix
val (<*>) : ( 'a -> 'b ) result -> 'a result -> 'b result
val (<*) : 'a result -> unit result -> 'a result
val (*>) : unit result -> 'a result -> 'a result
val (>>|) : 'a result -> ( 'a -> 'b ) -> 'b result