Obtenir un type structurel avec les méthodes d'une classe anonyme à partir d'une macro

Supposons que nous voulions écrire une macro qui définit une classe anonyme avec des membres de type ou des méthodes, puis crée une instance de cette classe qui est typée statiquement comme un type structurel avec ces méthodes, etc. Ceci est possible avec le système de macros de la version 2.10. 0,...