Data.Number.Interval

data Interval a

ival

getIval