@xpqz some more feedback.. in the for/while section it is said that the monad is executed at least once but that is not the case if the counter of the for loop is zero or the initial condition on the while is false. the python code is also not equivalent.
