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