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