Hask mod iso <=> Definir mod iso <=> Nat
Por meio de Curry-Howard, todos os programas computáveis podem ser expressos como provas em conjuntos. Os conjuntos de isomorfismo mod são apenas os números naturais. Todas as refatorações que preservam a cardinalidade são provavelmente transformações isomórficas.