{-# htermination elem :: Ordering -> [Ordering] -> Bool #-}