{-# htermination filterFM :: (Float -> b -> Bool) -> FiniteMap Float b -> FiniteMap Float b #-} import FiniteMap