yeah, exactly what I have now. and then with arbit...
# arrow
j
yeah, exactly what I have now. and then with arbitrary nesting it just requires passing the witness at each nest