{-# htermination minusFM :: (Ord a, Ord k) => FiniteMap (a,k) b1 -> FiniteMap (a,k) b2 -> FiniteMap (a,k) b1 #-} import FiniteMap