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