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