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