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