Example on using StateT/WriterT monad as an effect

[sergeykolbasov]

We need a good example of how one could propagate information through the chain of filters to the very heart of customer functions using effect type and avoiding the use of Request.ctx