integer-types-0.1.2.0: library/Integer/BoundedBelow.hs

module Integer.BoundedBelow where

import Numeric.Natural (Natural)

class BoundedBelow a where
  minBound :: a

instance BoundedBelow Natural where
  minBound = 0