Adicionado o código novo do professor, não consigo testar mas parece haver um erro com o sistema de tipos para tuplasno teste junto ao código.