{-# htermination foldFM_GE :: (Bool -> b -> c -> c) -> c -> Bool -> FiniteMap Bool b -> c #-} import FiniteMap