Sí que sí, bastante interesante, me he preguntado desde hace tiempo ¿Cuál será la razón para que la sobrecarga de operadores no esté soportada de manera nativa en las clases?, pues como bien indicas esto es poderoso aunque a la vez peligroso.
¿Cómo habrá sabido este personaje que tenía que anteponer &&op_ al nombre de cada operador?
Bastante interesante, el truco y lo que habrá detrás de dicha conclusión.
P.D: Sólo anotar, que me parece muy curiosa la observación que hace un usuario diciendo que no funciona en Records