fact: Definition mutateCheckWith {A P: Type} {_: Checkable P} {mutA: Mutateable A} (args : Args) (a : A) (p : A -> P):= mutateCheckManyWith args a (fun a => cons (p a) nil).
imports: QuickChick List Coq.Strings.String