sig
  type (_, _, _) t
  val map : ('a -> 'b) -> ('p, 'q, 'a) t -> ('p, 'q, 'b) t
  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
end