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