i get it now, each

yield Get(A, B, x)

where

B

is tagged with

@union

is like dispatching and you get multiple dispatch by making successive `yield Get(...)`s