Hi all, I recently suggested implementing Inter-Procedural Analysis to infer function types and made the following Github issue <https://github.com/cython/cython/issues/1893>, and I was advised to communicate on this channel. I went through the code base, and have implemented a rudimentary type inference system with inter procedural analysis of function types and arguments, and have handled recursive cases. However, the code base needs to be cleaned up a lot and is quite buggy right now. Furthermore, I am pretty sure a lot of edge cases need to be handled, i.e. closures etc. The reason I am sending out this email is to get some suggestions. Right now, the code I have written is pretty hacky, since the current code base of the project does not accommodate much flexibility to perform inter procedural analysis. I found an enhancement suggestion <https://github.com/cython/cython/wiki/enhancements-typeinference> on the GitHub project, and was wondering whether this should be done first in order to make a more flexible type inference system before trying to properly implement inter procedural analysis into the project. I just started on this as part of a university course project, but I want to continue working on this. I am not really familiar with the project's development ecosystem, and it would be really helpful if I'm given some guidance. Thanks a lot