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