isDeprecated becomes type