I agree; the most exciting use case for a system like this would be that it would functionally (no pun intended) replace the idea of "tab-completion" for typed

I agree; the most exciting use case for a system like this would be that it would functionally (no pun intended) replace the idea of "tab-completion" for typed functional programming languages.