Classifique cada variável da equipe. A cada escolha, veja quais operações passam a fazer sentido e por quê. O tipo não é um rótulo: é uma restrição sobre o que se pode calcular.