{-# htermination keysFM_LE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [(Ratio Int)] #-} import FiniteMap