Algunos tipos con restricciones lógicas entre llaves, en buildtime