{-# htermination intersectFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b #-}
import FiniteMap