sig
  type 'a t = 'a QCheck.fun_
  val print : 'a QCheck.Fn.t QCheck.Print.t
  val shrink : 'a QCheck.Fn.t QCheck.Shrink.t
  val apply : 'f QCheck.Fn.t -> 'f
end