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