{-# htermination index :: (Ordering,Ordering) -> Ordering -> Int #-}