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