{-# htermination addListToFM :: Ord a => FiniteMap a b -> [(a,b)] -> FiniteMap a b #-}
import FiniteMap