reader monad を リーダモナド と訳している一方、update monad を Updateモナド と訳しているので、どちらかに揃えた方がいいと思います。後者(Readerモナド)の方がいいですかねー。