{-# htermination addToFM_C :: (b -> b -> b) -> FiniteMap Bool b -> Bool -> b -> FiniteMap Bool b #-} import FiniteMap