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