This is the second part of the cycle "Using Monads in C++ to Solve Constraints" in which I'm illustrating functional techniques using the example of a simple puzzle: s e n d + m o r e --------- m o...