{-# htermination keysFM_LE :: FiniteMap Bool b -> Bool -> [Bool] #-}
import FiniteMap