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