maxBound package:sbv

If bounded, what's the min/max value for this type? If the underlying type is bounded, we have a default below. Otherwise it's nothing.