Elaborate on Reader/Writer monad examples