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