Implemented Choice.List.reduce/reduceBack.