{-# htermination foldFM :: (a -> b -> c -> c) -> c -> FiniteMap a b -> c #-}
import FiniteMap