Adding the Constrained Monad problem paper.