$Type variable added