{-# htermination lookup :: Eq a => a -> [(a,b)] -> Maybe b #-}