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

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.