{-# htermination delListFromFM :: Ord a => FiniteMap a b -> [a] -> FiniteMap a b #-} import FiniteMap