sig
  type _ t
  val map : ('a -> 'b) -> 'a t -> 'b t
  val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t
  val replace : 'a -> 'b t -> 'a t
  val void : 'a t -> unit t
end