{-# htermination lookupFM :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> Maybe b #-}
import FiniteMap