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