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