Necesito manipular expresiones como 1 + sqrt (3) y hacer aritmética básica como suma, resta y división. Me gustaría que el resultado esté en algún tipo de forma canónica para que pueda usarse como clave en un mapa. Convertir 1 + sqrt (3) en un flotador no es factible debido a problemas de redondeo.

Usé SymPy para esta tarea en Python. ¿Hay una biblioteca nativa equivalente para Haskell?