Hiding result body from QuickCheck.