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