1 2 3 4 5 6 7 8 9 10
MkTup8 a b c d e f g h = @t (t a b c d e f g h) rot = λx (x λa λb λc λd λe λf λg λh (MkTup8 b c d e f g h a)) app = λn match n { 0: λf λx x 1+: λf λx (app n-1 f (f x)) } main = (app 2000000 rot (MkTup8 1 2 3 4 5 6 7 8))