translate "monad in js" of chapter 04