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