Updated Constrained-Monad citation.