{-# htermination lookup :: Eq a => (Maybe a) -> [((Maybe a),b)] -> Maybe b #-}