Update animated_fold.hs