{-# htermination maxFM :: FiniteMap Int b -> Maybe Int #-}
import FiniteMap