inferLetBinding