I don't know why this reiteration of the widely known (and ancient) things worths any attention. Especially considering that the author doesn't explicitly ment

I don't know why this reiteration of the widely known (and ancient) things worths any attention. Especially considering that the author doesn't explicitly mention Option monad, for-comprehension and all the right generalizations solving the problem properly.