{-# htermination addToFM :: FiniteMap Char b -> Char -> b  -> FiniteMap Char b #-}
import FiniteMap