{-# htermination addToFM :: Ord a => FiniteMap [a] b -> [a] -> b -> FiniteMap [a] b #-} import FiniteMap