{-# htermination delFromFM :: Ord a => FiniteMap a b -> a   -> FiniteMap a b #-}
import FiniteMap