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