Use Positive modifier instead of combining NonZero and NonNegative.
Use mapSize from QuickCheck instead of making our own version.