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