{-# htermination addToFM :: FiniteMap Float b -> Float -> b -> FiniteMap Float b #-} import FiniteMap