<div dir="ltr"><div dir="auto">Are there any laws relating Bounded to Ord and Ix? For instance, any reasonable type should say<div dir="auto"><br></div><div dir="auto">minBound <= x == True for all x</div><div>maxBound >= x == True for all x</div><div dir="auto">inRange (minBound, maxBound) x == True for all x</div><div dir="auto"><br></div></div>
</div>