{-# htermination listToFM :: Ord a => [(a,b)] -> FiniteMap a b #-}
import FiniteMap