{-# htermination intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap () b1 -> FiniteMap () b2 -> FiniteMap () b3 #-}
import FiniteMap