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