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