x
y1 y2 y3
z1 z2 z3
[ F ] tri-curry@ tri-curry* tri

=> x
   y1 y2 y3
   [ z1 F ]
   [ z2 F ]
   [ z3 F ]
   tri-curry* tri

=> x
   [ y1 z1 F ]
   [ y2 z2 F ]
   [ y3 z3 F ]
   tri

=> x y1 z1 F
   x y2 z2 F
   x y3 z3 F