I'm sure that there are other use cases for this, but the main one that comes to mind is inferring the type of function parameters. It is common that you want to override a superclass method, for ...

The money, provided under a federal family planning program called Title X, provides services such as cancer screenings, birth control, annual exams, and testing and treatment for sexually ...