{-# htermination addToFM :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> b  -> FiniteMap (Maybe a) b #-}
import FiniteMap