Moduleproduct-profunctors-0.11.1.1Haskell2010

Data.Profunctor.Product.Flatten

126 values

Packageproduct-profunctors-0.11.1.1
Exports126
LanguageHaskell2010
LicenceBSD-3-Clause

valueflatten0 :: () -> ()

valueflatten1 :: a0 -> a0

valueflatten2 :: (a0, b0) -> (a0, b0)

valueflatten3 :: (a0, (b0, c0)) -> (a0, b0, c0)

valueflatten4 :: (a0, (b0, (c0, d0))) -> (a0, b0, c0, d0)

valueflatten5 :: (a0, (b0, (c0, (d0, e0)))) -> (a0, b0, c0, d0, e0)

valueflatten6 :: (a0, (b0, (c0, (d0, (e0, f0))))) -> (a0, b0, c0, d0, e0, f0)

valueflatten7

:: (a0, (b0, (c0, (d0, (e0, (f0, g0))))))
-> (a0, b0, c0, d0, e0, f0, g0)

valueflatten8

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, h0)))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0)

valueflatten9

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, i0))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0)

valueflatten10

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, j0)))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0)

valueflatten11

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, k0))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0)

valueflatten12

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, l0)))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0)

valueflatten13

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, m0))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0)

valueflatten14

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, n0)))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0)

valueflatten15

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, o0))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0)

valueflatten16

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, p0)))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0)

valueflatten17

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, q0))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0)

valueflatten18

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, r0)))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0)

valueflatten19

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, s0))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0)

valueflatten20

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, t0)))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0)

valueflatten21

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, u0))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0)

valueflatten22

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, v0)))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0)

valueflatten23

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, w0))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0)

valueflatten24

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, x0)))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0)

valueflatten25

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, y0))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0)

valueflatten26

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, z0)))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0)

valueflatten27

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, a1))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1)

valueflatten28

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, b1)))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1)

valueflatten29

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, c1))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1)

valueflatten30

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, d1)))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1)

valueflatten31

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, e1))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1)

valueflatten32

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, f1)))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1)

valueflatten33

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, g1))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1)

valueflatten34

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, h1)))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1)

valueflatten35

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, i1))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1)

valueflatten36

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, j1)))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1)

valueflatten37

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, k1))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1)

valueflatten38

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, l1)))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1)

valueflatten39

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, m1))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1)

valueflatten40

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, n1)))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1)

valueflatten41

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, o1))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1)

valueflatten42

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, p1)))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1)

valueflatten43

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, q1))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1)

valueflatten44

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, r1)))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1)

valueflatten45

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, s1))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1)

valueflatten46

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, t1)))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1)

valueflatten47

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, u1))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1)

valueflatten48

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, v1)))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1)

valueflatten49

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, w1))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1)

valueflatten50

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, x1)))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1)

valueflatten51

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, y1))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1)

valueflatten52

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, z1)))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1)

valueflatten53

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, a2))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2)

valueflatten54

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, b2)))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2)

valueflatten55

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, c2))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2)

valueflatten56

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, d2)))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2)

valueflatten57

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, e2))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2)

valueflatten58

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, f2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2)

valueflatten59

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, g2))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2)

valueflatten60

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, h2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2)

valueflatten61

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, (h2, i2))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2, i2)

valueflatten62

:: (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, (h2, (i2, j2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
-> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2, i2, j2)

valueunflatten0 :: () -> ()

valueunflatten1 :: a0 -> a0

valueunflatten2 :: (a0, b0) -> (a0, b0)

valueunflatten3 :: (a0, b0, c0) -> (a0, (b0, c0))

valueunflatten4 :: (a0, b0, c0, d0) -> (a0, (b0, (c0, d0)))

valueunflatten5 :: (a0, b0, c0, d0, e0) -> (a0, (b0, (c0, (d0, e0))))

valueunflatten6 :: (a0, b0, c0, d0, e0, f0) -> (a0, (b0, (c0, (d0, (e0, f0)))))

valueunflatten7

:: (a0, b0, c0, d0, e0, f0, g0)
-> (a0, (b0, (c0, (d0, (e0, (f0, g0))))))

valueunflatten8

:: (a0, b0, c0, d0, e0, f0, g0, h0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, h0)))))))

valueunflatten9

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, i0))))))))

valueunflatten10

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, j0)))))))))

valueunflatten11

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, k0))))))))))

valueunflatten12

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, l0)))))))))))

valueunflatten13

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, m0))))))))))))

valueunflatten14

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, n0)))))))))))))

valueunflatten15

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, o0))))))))))))))

valueunflatten16

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, p0)))))))))))))))

valueunflatten17

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, q0))))))))))))))))

valueunflatten18

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, r0)))))))))))))))))

valueunflatten19

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, s0))))))))))))))))))

valueunflatten20

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, t0)))))))))))))))))))

valueunflatten21

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, u0))))))))))))))))))))

valueunflatten22

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, v0)))))))))))))))))))))

valueunflatten23

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, w0))))))))))))))))))))))

valueunflatten24

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, x0)))))))))))))))))))))))

valueunflatten25

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, y0))))))))))))))))))))))))

valueunflatten26

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, z0)))))))))))))))))))))))))

valueunflatten27

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, a1))))))))))))))))))))))))))

valueunflatten28

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, b1)))))))))))))))))))))))))))

valueunflatten29

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, c1))))))))))))))))))))))))))))

valueunflatten30

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, d1)))))))))))))))))))))))))))))

valueunflatten31

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, e1))))))))))))))))))))))))))))))

valueunflatten32

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, f1)))))))))))))))))))))))))))))))

valueunflatten33

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, g1))))))))))))))))))))))))))))))))

valueunflatten34

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, h1)))))))))))))))))))))))))))))))))

valueunflatten35

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, i1))))))))))))))))))))))))))))))))))

valueunflatten36

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, j1)))))))))))))))))))))))))))))))))))

valueunflatten37

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, k1))))))))))))))))))))))))))))))))))))

valueunflatten38

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, l1)))))))))))))))))))))))))))))))))))))

valueunflatten39

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, m1))))))))))))))))))))))))))))))))))))))

valueunflatten40

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, n1)))))))))))))))))))))))))))))))))))))))

valueunflatten41

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, o1))))))))))))))))))))))))))))))))))))))))

valueunflatten42

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, p1)))))))))))))))))))))))))))))))))))))))))

valueunflatten43

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, q1))))))))))))))))))))))))))))))))))))))))))

valueunflatten44

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, r1)))))))))))))))))))))))))))))))))))))))))))

valueunflatten45

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, s1))))))))))))))))))))))))))))))))))))))))))))

valueunflatten46

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, t1)))))))))))))))))))))))))))))))))))))))))))))

valueunflatten47

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, u1))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten48

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, v1)))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten49

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, w1))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten50

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, x1)))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten51

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, y1))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten52

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, z1)))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten53

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, a2))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten54

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, b2)))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten55

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, c2))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten56

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, d2)))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten57

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, e2))))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten58

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, f2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten59

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, g2))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten60

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, h2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten61

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2, i2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, (h2, i2))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

valueunflatten62

:: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, a1, b1, c1, d1, e1, f1, g1, h1, i1, j1, k1, l1, m1, n1, o1, p1, q1, r1, s1, t1, u1, v1, w1, x1, y1, z1, a2, b2, c2, d2, e2, f2, g2, h2, i2, j2)
-> (a0, (b0, (c0, (d0, (e0, (f0, (g0, (h0, (i0, (j0, (k0, (l0, (m0, (n0, (o0, (p0, (q0, (r0, (s0, (t0, (u0, (v0, (w0, (x0, (y0, (z0, (a1, (b1, (c1, (d1, (e1, (f1, (g1, (h1, (i1, (j1, (k1, (l1, (m1, (n1, (o1, (p1, (q1, (r1, (s1, (t1, (u1, (v1, (w1, (x1, (y1, (z1, (a2, (b2, (c2, (d2, (e2, (f2, (g2, (h2, (i2, j2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))