{-# htermination lookup :: Ordering -> [(Ordering,b)] -> Maybe b #-}