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