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