Updated Constrained-Monad Problem PDF.