{-# htermination minusFM :: FiniteMap () b1 -> FiniteMap () b2 -> FiniteMap () b1 #-}
import FiniteMap