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