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