{-# htermination compare :: Ord a => a -> a -> Ordering #-}