concrete functor and monad transformers
#30Add more documentation.
As someone who fought a lot with monad transformers before I got them, I would like the documentation to include some more examples showing some use cases for the different transformers. I found some in Control.Monad.Trans.Class but that's not really a place someone would go to if they want to know about, say ExceptT.
I would like to give this a shot, but before I start I thought it would be best to check that there isn't already an ongoing project of this.
The examples in Control.Monad.Trans.Class are intended to illustrate combinations of different transformers, but examples of individual transformers in a similar format would also be useful.