Minor update.
Stacking monads: yesod is filled with them and I guess any reasonable sized app will be. Need to get a better handle on this concept.