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