On 12-09-29 09:57 PM, Vasili I. Galchin wrote: > I would an examples of monads that are pure, i.e. no side-effects. What does "side effect" mean, to you? Definition? Because some people say "State has no side effect", and some other people say "State has side effects". The two groups use different definitions.