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