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