{-# htermination intersectFM :: FiniteMap Int b -> FiniteMap Int b -> FiniteMap Int b #-} import FiniteMap