Como não sou muito fã de benchmarks, tenho subestimado as avaliações, mas: estamos no estado da arte em tudo que não seja código (*incluindo* matemática).
Monad também é o estado da arte mesmo à distância.
Agora eu realmente quero criar um pequeno provador matemático: acredite ou não, mas o processo atual poderia ser muito melhorado.