Eu noto que me envolvo em muitas discussões confusas com pessoas de matemática e física porque sou cientista da computação por formação, e para mim o tipo de algo é o que pode ser convertido em um tipo canônico. Isomórfico, equivalente, tanto faz. Poderia ser armazenado na mesma estrutura na memória?