[FR] - Use classy era constraints in generators.

[locallycompact]

In the hedgehog generators we have generators such as

genAddressInEra :: ShelleyBasedEra era -> Gen (AddressInEra era)
genAddressInEra sbe = shelleyAddressInEra sbe <$> genAddressShelley

I think without loss of generality these could all be the type class versions

genAddressInEra :: IsShelleyBasedEra era => Gen (AddressInEra era)
genAddressInEra sbe = shelleyAddressInEra shelleyBasedEra <$> genAddressShelley

[carbolymer]

They're both practically interchangeable. What's the rationale for this change?

[locallycompact]

The rational is that we are using these generators downstream, and providing the argument, when we want to construct say a validity interval, seems like unnecessary noise when it can be inferred from the era type.

[locallycompact]

The rational is that we are using these generators downstream, and providing the argument, when we want to construct say a validity interval, seems like unnecessary noise when it can be inferred from the era type.