start to translate chapter 04 functor and monad
merge 2nd part of functor translation