finish translate Haskell chapter