{-# htermination addListToFM_C :: (b -> b -> b) -> FiniteMap Ordering b -> [(Ordering,b)] -> FiniteMap Ordering b #-}
import FiniteMap