Mejores tipos para propagar la información de contexto y evitar que los estados ilegales puedan ser representados.