I am sometimes asked by C++ programmers to give an example of a problem that can't be solved without monads. This is the wrong kind of question -- it's like asking if there is a problem that can't ...