[Haskell-cafe] Ord/Ix and Bounded?

[Zemyla]

Are there any laws relating Bounded to Ord and Ix? For instance, any
reasonable type should say

minBound <= x == True for all x
maxBound >= x == True for all x
inRange (minBound, maxBound) x == True for all x
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220416/7a40e899/attachment.html>