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