Preciso manipular expressões como 1 + sqrt (3) e fazer aritmética básica como adição, subtração e divisão. Gostaria que o resultado estivesse em algum tipo de forma canônica, para que possa ser usado como chave em um mapa. Transformar 1 + sqrt (3) em um float não é possível devido a problemas de arredondamento.

Eu usei o SymPy para esta tarefa no Python. Existe uma biblioteca nativa equivalente para Haskell?