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