{-# htermination lookupWithDefaultFM :: FiniteMap Char b -> b -> Char -> b #-}
import FiniteMap