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