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