{-# htermination fmToList_LE :: FiniteMap Char b -> Char ->  [(Char,b)] #-}
import FiniteMap