<div dir="ltr">Hi!<div><div><br></div><div>I was surprised not to find any documentation regarding interactions of Ord and Bounded. Are there any instances where</div><div><br></div><div>minBound <= x == True</div><div><br></div><div>and</div><div><br></div><div>maxBound >= x == True</div><div><br></div><div>don't hold for every x?</div><div><br></div><div><br></div><div>Possibly relatedly, I was looking for Bounded instances for Maybe and Either. To me the following instances seem sensible:</div><div><br></div><div>instance Bounded a => Bounded (Maybe a) where</div><div>   minBound = Nothing</div><div>   maxBound = Just maxBound</div><div><br></div><div>instance (Bounded a, Bounded b) => Bounded (Either a b) where</div><div>  minBound = Left minBound</div><div>  maxBound = Right maxBound</div><div><br></div><div>Are these instances omitted for a reason? Interestingly, both types do have corresponding Ord instances.</div><div><br></div><div><br></div><div>Lastly, I noticed that Natural has a lower bound (0) but not an upper one, and therefore cannot have a Bounded instance. Is anyone aware of some prior art regarding a LowerBounded class or similar?</div><div><br></div><div>Cheers,</div><div>Simon</div></div></div>