{-# htermination lookupWithDefaultFM :: Ord a => FiniteMap a b -> b -> a -> b #-}
import FiniteMap