@Tup8/New = (a (b (c (d (e (f (g (h ((0 (a (b (c (d (e (f (g (h i))))))))) i)))))))))

@app = (?(((* (a a)) @app__C0) b) b)

@app__C0 = (a ({b (c d)} (c e)))
  & @app ~ (a (b (d e)))

@main = b
  & @app ~ (1234 (@rot (a b)))
  & @Tup8/New ~ (1 (2 (3 (4 (5 (6 (7 (8 a))))))))

@rot = ((@rot__C1 a) a)

@rot__C0 = (h (a (b (c (d (e (f (g i))))))))
  & @Tup8/New ~ (a (b (c (d (e (f (g (h i))))))))

@rot__C1 = (?((@rot__C0 *) a) a)