Translate "Introducing update monads" in Japanese

This is also a sample PR.