Per @henrydingliu's comment on #1042: > would you mind putting a disclaimer into our PR template that says something to the effect of, we'd appreciate if you add type hinting in your PR;
Per @henrydingliu's comment on #1042: