Since folks here are more knowledgeable on type annotations then I am, I want to invite you all to the public meeting next Tue to talk about some of the concerns that Numba devs are having. Please see Public Numba Dev Meeting, Tuesday October 13 2020