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