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