Interval
data Interval