{-# htermination maximum :: [Ordering] -> Ordering #-}