{-# htermination delFromFM :: FiniteMap Float b -> Float   -> FiniteMap Float b #-}
import FiniteMap