Implement ch05/i_fold_you_so examples (in progress)