Haskell meets Evariste. - Paulo R. Pereira; Jose N. Oliveira (CoRR, 2026)