In this talk, I will share ideas, progress, and challenges we encountered in extending contextual type inference with function inference. While we have explored various approaches, the project is still in its early stages, so I am eager to hear your insights and suggestions :)