{-# htermination minFM :: Ord a => FiniteMap [a] b -> Maybe [a] #-}
import FiniteMap