sig
  type 'a t
  val create : unit -> 'MiniFRP.t * ('-> unit)
  val fold : ('-> '-> 'a) -> '-> 'MiniFRP.t -> unit
end