Added a summary of the problems using monads and monad transformers to express effects that the paper describes. Added note of the correct author of the original proposal.