{-# htermination delFromFM :: FiniteMap () b -> ()   -> FiniteMap () b #-}
import FiniteMap