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