Constructs an instance of GenIntegralPoly using the specified Gen and
Integral instances, existentially hiding the underlying type.
Provides evidence that instances of Gen and Integral exist for bytes.
Provides evidence that instances of Gen and Integral exist for
characters.
A generator of polymorphic values constrainted to have an Integral
instance.
Provides evidence that instances of Gen and Integral exist for
integers.
Provides evidence that instances of Gen and Integral exist for longs.
Provides evidence that instances of Gen and Integral exist for shorts.