Adicionada verificação de tipos para retorno de funções