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