{-# htermination lookupFM :: Ord a => FiniteMap a b -> a -> Maybe b #-} import FiniteMap