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