@MkTup8 = (a (b (c (d (e (f (g (h ((a (b (c (d (e (f (g (h i)))))))) i)))))))))
@app = (?<(a b) c> c)
& (a b) ~ (@app$S0 @app$S1)
@app$S0 = (* (a a))
@app$S1 = (a ({3 b (c d)} (c e)))
& @app ~ (a (b (d e)))
@main = a
& @app ~ (#2000000 (@rot (b a)))
& @MkTup8 ~ (#1 (#2 (#3 (#4 (#5 (#6 (#7 (#8 b))))))))
@rot = ((@rot$S0 a) a)
@rot$S0 = (a (b (c (d (e (f (g (h i))))))))
& @MkTup8 ~ (b (c (d (e (f (g (h (a i))))))))