module Integer.BoundedBelow where

import Numeric.Natural (Natural)

class BoundedBelow a where
    minBound :: a

instance BoundedBelow Natural where
    minBound :: Natural
minBound = Natural
0