Fibonacci memoization with State vs ST monad