Update chapter_4fold.hs