{-# htermination intersectFM_C :: (Ord a, Ord k) => (b1 -> b2 -> b3) -> FiniteMap (a,k) b1 -> FiniteMap (a,k) b2 -> FiniteMap (a,k) b3 #-}
import FiniteMap