{-# htermination keysFM :: FiniteMap a b -> [a] #-}
import FiniteMap