Add memoization point
Update cabal