Any way to avoid manual/explicit routing when converting lambda abstractions to circuits on _ inputs?

[eleses]

just2A(x,y) = x, x+y;

is really lambda abstraction and while if can be used directly as circuit by "piping" with : into it, it diagrams as an abstraction still.

If we try to convert/instantiate it to a circuit on _ inputs it's less than straightforward.

//just2no = just2A(_,_); // this has 3 inputs!

just2 = route(2,3,(1,1),(1,2),(2,3)) : just2A(_,_); /// ok, but manually routed

This diagrams as a circuit now.

Is there a way to get the 2nd result without the manual routing expression? Automatic routing with <: doesn't work here because we're not duplicating an exact multiple of the inputs.

I mean in general for an arbitrary lambda expression. Here it's trivial to write just by itself, knowing how many outputs to cut.

meh = _,_ <: _,!, +;