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