No, just do whatever we did for `make_tuple`.