Functor Functor.Make3

module Make3: 
functor (F : Basic3) -> S3  with type ('p, 'q, 'a) t := ('p, 'q, 'a) F.t

include Functor.Basic3

val (>|=) : ('p, 'q, 'a) t -> ('a -> 'b) -> ('p, 'q, 'b) t

val replace : 'a -> ('p, 'q, 'b) t -> ('p, 'q, 'a) t

val void : ('p, 'q, 'a) t -> ('p, 'q, unit) t