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