Added: Hiding the Environment. (ReaderT monad)
My code to  http://blog.jakubarnold.cz/2014/07/22/building-monad-transformers-part-1.html