Could type inference be used to automatically propagate such annotations? And then potentially be hooked up to a prettier plugin to adf explicit annotations if

Could type inference be used to automatically propagate such annotations? And then potentially be hooked up to a prettier plugin to adf explicit annotations if desired.