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