Use MemoTrie instead of MemoCombinators. It's faster.
simplify