The patterns section on monad transformers and the monad docs will probably expand on that and refer to the transformers examples. The issue is that we can easily fall into theoretical concepts that can confuse people, so we have to be careful and balanced between pragmatism and turning the docs into explanations of concepts from CT.