Agora compila! Teste do sistema de tipos é feito em todos os testes, não sendo necessário criar testes separados