`forAll` requires a `Gen[XYZ]`, not just `XYZ`. that's why I have to make a generator for `XYZ` even thought it produces a constant value