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