Documented reduction order for fold functions.