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-monad...