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