sig
  val ( @:: ) : 'a -> 'b QCheck.Tuple.t -> ('a * 'b) QCheck.Tuple.t
  val ( @-> ) :
    'a QCheck.Observable.t ->
    'b QCheck.Tuple.obs -> ('a * 'b) QCheck.Tuple.obs
end