This is roughly Socratic programming teaching! It's for this reason that I think one of the better monad explanations is this one: http://blog.sigfpe.com/2006/

This is roughly Socratic programming teaching! It's for this reason that I think one of the better monad explanations is this one: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html http://blog.sigfpe.com/2006/08/you-could-have-invented-monad...