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