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