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