[haskell-br] Diagramas de Decisão Binária Ordenada e Reduzida

Oi pessoal, Fiz a tradução do meu TCC pra haskell. Vide link abaixo. https://bitbucket.org/ericvoid/robdd Gostaria que vcs dessem uma olhada, para ver se tem como melhorar. Des do ultimo dojo consegui dar um upgrade no código. Dei uma boa organizada e troquei as listas por Maps. Isso deu um ganho de eficiência gigante. Mas o arquivo de síntese é o que deve estar mais bagunçado. Será que tem alguma forma de memoizar uma função sem ter que ficar passando a estrutura de dados para todo lado? Obrigado, Eric