Re:Functors, applicatives, and monads in pictures
by tikhonj on Sunday May 19, 2013 @11:32AM
(#5733130)
That behaves just like a function: the values of the variables change each time you call the function but not within. When you do a new exercise, it's really a bunch of new variables with the same name--variables cannot affect each other between exercises!
That's not analogous at all to mutation.