Property-Based Test Case Generators for Free