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