Evaluating "tri-curry@ tri-curry* tri-curry", using term rewriting:

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

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

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

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