[Haskell-cafe] Ord/Ix and Bounded?

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