Add a file of "Implementing the reader monad" in English
Add a file of "Implementing the writer monad" in English