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