>>> range ('x','z') "xyz" >>> range (LT,GT) [LT,EQ,GT]
>>> range 0 :: [Integer] [] >>> range 1 :: [Integer] [0] >>> range 8 :: [Integer] [0,1,2,3,4,5,6,7]
\(NonNegative n) -> length (range n :: [Integer]) == n
>>> inRange ('a','z') 'e' True >>> inRange ('x','z') 'a' False