fold_left -> fold_right in from_seq