Как работают Data.MemoCombinators?

Я искал источник для Data.MemoCombinators , но я не могу понять, где именно сердце это.

Пожалуйста, объясните мне, в чем логика всех этих комбинаторов и механизма того, как они на самом деле работают, чтобы ускорить вашу программу в реальном программировании.

Я ищу особенности для это реализация и, возможно, сравнение / противопоставление с другими подходами Haskell к мемоизации. Я понимаю, что такое мемоизация, и не ищу описание того, как это работает в целом.