Brought in sync with monads.html.  This should be automated.