{-# htermination delFromFM :: FiniteMap Ordering b -> Ordering   -> FiniteMap Ordering b #-}
import FiniteMap