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