. H,r:ind(z,x¯.T;a) >> Gagggggggby ind r over A ¯[EXT foobar]¯[EXT foobar] H >> rec_ind(r; h,.g)=t in G by reduce >> \ .rec_ind (;h,.g)=t in G
_
>> \ .rec_ind (;h,.g)=t in G
\
_ind
.
H,r:ind(z,x¯.T;a) >> G
a
g
ggggggby ind r over A 
¯[EXT foobar]¯[EXT foobar] H >> rec
.g)=t in G
by reduce
.rec
;h,
.g)
=t in G