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