https://pantsbuild.org/ logo
h

hundreds-father-404

02/26/2020, 1:26 AM
I don’t think #2 has any downside. Right now, you must do
await Get[HydratedTarget](Address, adaptor.address)
. Now you’d do
adaptor.to_hydrated_target()