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