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