{-# htermination lookupFM :: FiniteMap (Ratio Int) b -> (Ratio Int) -> Maybe b #-} import FiniteMap