ArgsAsList
cons
The `reverse_fold` requires a bidirectional sequence while `cons` is a forward sequence