{-# htermination plusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b #-}
import FiniteMap