{-# htermination eltsFM_LE :: FiniteMap Ordering b -> Ordering -> [b] #-}
import FiniteMap