Obtener un tipo estructural con los métodos de una clase anónima de una macro

Supongamos que deseamos escribir una macro que defina una clase anónima con algunos miembros de tipo o métodos, y luego cree una instancia de esa clase que esté tipada estáticamente como un tipo estructural con esos métodos, etc. Esto es posible con el sistema de macros en 2.10. 0, y la parte del...