Classe para tipos finitos e enumeráveis recursivamente
