{-# htermination lookupFM :: FiniteMap Ordering b -> Ordering -> Maybe b #-}
import FiniteMap