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