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