{-# htermination fmToList :: FiniteMap a b -> [(a,b)] #-}
import FiniteMap