Como no me interesa mucho optimizar al máximo las pruebas de rendimiento, he estado minimizando las evaluaciones, pero: somos líderes en todo lo que no sea código (*incluyendo* las matemáticas).
Monad también es SOTA en ausencia.
Ahora realmente quiero crear un pequeño demostrador matemático: aunque no lo crean, el proceso existente podría mejorarse mucho.