{-# htermination elemFM :: Ord a => (Maybe a) -> FiniteMap (Maybe a) b -> Bool #-} import FiniteMap