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