{-# htermination keysFM_GE :: FiniteMap Ordering b -> Ordering -> [Ordering] #-}
import FiniteMap