module type S3 = sig .. end
sig
end
include Functor.Basic3
val (>|=) : ('p, 'q, 'a) t -> ('a -> 'b) -> ('p, 'q, 'b) t
('p, 'q, 'a) t -> ('a -> 'b) -> ('p, 'q, 'b) t
val replace : 'a -> ('p, 'q, 'b) t -> ('p, 'q, 'a) t
'a -> ('p, 'q, 'b) t -> ('p, 'q, 'a) t
val void : ('p, 'q, 'a) t -> ('p, 'q, unit) t
('p, 'q, 'a) t -> ('p, 'q, unit) t