Instance forAllMonotonic {A C} {_ : Checkable C} `{Show A} (g : G A) (f : A -> C)
        `{SizeMonotonic _ g} `{forall x, SizeMonotonicChecker (checker (f x))} :
  SizeMonotonicChecker (forAll g f).

Lemma unsized_printTestCase {A C} `{Checkable C} `{Show A} (c : A -> C) : (forall a, Unsized (checker (c a))) -> (forall a, Unsized (printTestCase (String.append (Show.show a) newline) (c a))).