switch to TF instance selection for Either. Less flexible, but more
readily inferred