{-# htermination elemFM :: Char -> FiniteMap Char b -> Bool #-}
import FiniteMap