Category transformers

Thanks for mentioning the typo, I just fixed it.

In the example, the two Int are actually read in parallel (notice the usage of &&&), so they will both be run independently of the result of the other. If you compose them sequentially, then yes, the second will be skipped if the first one fails, as it happens with monad transformers