{-# htermination foldFM_LE :: (Char -> b -> c -> c) -> c -> Char -> FiniteMap Char b -> c #-}
import FiniteMap