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