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