module Integer.BoundedBelow where import Numeric.Natural (Natural) class BoundedBelow a where minBound :: a instance BoundedBelow Natural where minBound :: Natural minBound = Natural 0