{-# htermination range :: (Ordering,Ordering) -> [Ordering] #-}