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