Memoization via Representables