functor (F : Basic3) ->
  sig
    val map : ('a -> 'b) -> ('p, 'q, 'a) F.t -> ('p, 'q, 'b) F.t
    val ( >|= ) : ('p, 'q, 'a) F.t -> ('a -> 'b) -> ('p, 'q, 'b) F.t
    val replace : 'a -> ('p, 'q, 'b) F.t -> ('p, 'q, 'a) F.t
    val void : ('p, 'q, 'a) F.t -> ('p, 'q, unit) F.t
  end