Estoy de acuerdo con la respuesta de Sander, pero quiero añadir que hay que encontrar una forma de sortear el problema. El diseño de mecanismos estándar se aplica a los juegos bayesianos. En un juego bayesiano, el espacio de acciones es independiente de los tipos, y como el diseñador no conoce los tipos y sólo puede decidir los resultados que dependen de las acciones de los agentes, tenemos que especificar cuándo el diseñador elige un resultado que "no está permitido".
Por ejemplo, este problema aparece en el diseño de mecanismos con pruebas. Se discute en este documento de trabajo de Roland Strausz (véase la nota 1, este documento ha sido sustituido por otro llamado "Principled Mechanism Design with Evidence" que no he podido encontrar en línea). El documento que he enlazado parece adoptar el enfoque de Sander (véase la función de utilidad en la página 8), pero también discute lo que hacen los otros documentos que adoptan otros enfoques.