{-# htermination lookupFM :: FiniteMap Bool b -> Bool -> Maybe b #-}
import FiniteMap