{-# htermination intersectFM :: Ord a => FiniteMap [a] b -> FiniteMap [a] b -> FiniteMap [a] b #-}
import FiniteMap