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