Add a reified folds composition example