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