{-# htermination eltsFM_GE :: Ord a => FiniteMap a b -> a -> [b] #-}
import FiniteMap