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