O transformador Monad de Memoização é uma técnica utilizada para melhorar a performance de cálculos que possuem muitas chamadas recursivas, armazenando os resultados dessas chamadas em uma tabela de memoização para que não sejam realizadas novamente. Isso é particularmente útil em linguagens funcionais como Haskell, onde esse tipo de cálculo é comum.Este programa específico, haskell-monad-memo, implementa essa técnica como um transformador Monad, permitindo que seja facilmente aplicado a outras funções. 