Camera ready version of Constrained-Monad paper.