Haskell interval types. Bounds checking.

i

Haskell interval types.