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