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