[Dúvida] como descobrir o tipo para fazer a tipagem de forma correta?

Eu creio que 2 meios normalmente, falando com uma pessoa que está estudando como você:

1. Você pode receber um documento UML que diz o que o cada método irá retornar e sabendo disso poderá tipar de início o seu método.
2. Se não tiver esse documento e for fazer por conta própria, você precisa antes planejar o que o seu programa irá fazer, irá refinar mais ainda e terá que planejar seus métodos, parâmetros, propriedades e outros, chegando novamente a um documento parecido com um UML.

Falo isso, pois se for escrever da cabeça sem saber antes o que vai criar, vai ter que ter uma boa experiência para dar conta de pensar, visualizar e depois determinar o tipo do método antes de escrevê-lo propriamente.

Não sei se está certo, mas pela lógica eu acredito que é pro aí.

Sucesso na sua jornada!