{-# htermination plusFM_C :: (b -> b -> b) -> FiniteMap Bool b -> FiniteMap Bool b -> FiniteMap Bool b #-}
import FiniteMap