Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.TypeLevel.List.Unzip

Documentation

type family Unzip2 (abs :: [(ka, kb)]) where ... Source #

Equations

Unzip2 '[] = '('[], '[])
Unzip2 ('(:) '(a, b) abs) = Push2 a b (Unzip2 abs)

type family Unzip3 (abcs :: [(ka, kb, kc)]) where ... Source #

Equations

Unzip3 '[] = '('[], '[], '[])
Unzip3 ('(:) '(a, b, c) abcs) = Push3 a b c (Unzip3 abcs)

type family Unzip4 (abcds :: [(ka, kb, kc, kd)]) where ... Source #

Equations

Unzip4 '[] = '('[], '[], '[], '[])
Unzip4 ('(:) '(a, b, c, d) abcds) = Push4 a b c d (Unzip4 abcds)

type family Unzip5 (abcdes :: [(ka, kb, kc, kd, ke)]) where ... Source #

Equations

Unzip5 '[] = '('[], '[], '[], '[], '[])
Unzip5 ('(:) '(a, b, c, d, e) abcdes) = Push5 a b c d e (Unzip5 abcdes)

type family Unzip6 (abcdefs :: [(ka, kb, kc, kd, ke, kf)]) where ... Source #

Equations

Unzip6 '[] = '('[], '[], '[], '[], '[], '[])
Unzip6 ('(:) '(a, b, c, d, e, f) abcdefs) = Push6 a b c d e f (Unzip6 abcdefs)

type family Unzip7 (abcdefgs :: [(ka, kb, kc, kd, ke, kf, kg)]) where ... Source #

Equations

Unzip7 '[] = '('[], '[], '[], '[], '[], '[], '[])
Unzip7 ('(:) '(a, b, c, d, e, f, g) abcdefgs) = Push7 a b c d e f g (Unzip7 abcdefgs)

type family Unzip8 (abcdefghs :: [(ka, kb, kc, kd, ke, kf, kg, kh)]) where ... Source #

Equations

Unzip8 '[] = '('[], '[], '[], '[], '[], '[], '[], '[])
Unzip8 ('(:) '(a, b, c, d, e, f, g, h) abcdefghs) = Push8 a b c d e f g h (Unzip8 abcdefghs)

type family Unzip9 (abcdefghis :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki)]) where ... Source #

Equations

Unzip9 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip9 ('(:) '(a, b, c, d, e, f, g, h, i) abcdefghis) = Push9 a b c d e f g h i (Unzip9 abcdefghis)

type family Unzip10 (abcdefghijs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj)]) where ... Source #

Equations

Unzip10 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip10 ('(:) '(a, b, c, d, e, f, g, h, i, j) abcdefghijs) = Push10 a b c d e f g h i j (Unzip10 abcdefghijs)

type family Unzip11 (abcdefghijks :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk)]) where ... Source #

Equations

Unzip11 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip11 ('(:) '(a, b, c, d, e, f, g, h, i, j, k) abcdefghijks) = Push11 a b c d e f g h i j k (Unzip11 abcdefghijks)

type family Unzip12 (abcdefghijkls :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl)]) where ... Source #

Equations

Unzip12 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip12 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l) abcdefghijkls) = Push12 a b c d e f g h i j k l (Unzip12 abcdefghijkls)

type family Unzip13 (abcdefghijklms :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km)]) where ... Source #

Equations

Unzip13 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip13 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m) abcdefghijklms) = Push13 a b c d e f g h i j k l m (Unzip13 abcdefghijklms)

type family Unzip14 (abcdefghijklmns :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn)]) where ... Source #

Equations

Unzip14 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip14 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n) abcdefghijklmns) = Push14 a b c d e f g h i j k l m n (Unzip14 abcdefghijklmns)

type family Unzip15 (abcdefghijklmnos :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko)]) where ... Source #

Equations

Unzip15 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip15 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) abcdefghijklmnos) = Push15 a b c d e f g h i j k l m n o (Unzip15 abcdefghijklmnos)

type family Unzip16 (abcdefghijklmnops :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp)]) where ... Source #

Equations

Unzip16 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip16 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) abcdefghijklmnops) = Push16 a b c d e f g h i j k l m n o p (Unzip16 abcdefghijklmnops)

type family Unzip17 (abcdefghijklmnopqs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq)]) where ... Source #

Equations

Unzip17 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip17 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) abcdefghijklmnopqs) = Push17 a b c d e f g h i j k l m n o p q (Unzip17 abcdefghijklmnopqs)

type family Unzip18 (abcdefghijklmnopqrs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr)]) where ... Source #

Equations

Unzip18 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip18 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) abcdefghijklmnopqrs) = Push18 a b c d e f g h i j k l m n o p q r (Unzip18 abcdefghijklmnopqrs)

type family Unzip19 (abcdefghijklmnopqrss :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks)]) where ... Source #

Equations

Unzip19 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip19 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) abcdefghijklmnopqrss) = Push19 a b c d e f g h i j k l m n o p q r s (Unzip19 abcdefghijklmnopqrss)

type family Unzip20 (abcdefghijklmnopqrsts :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt)]) where ... Source #

Equations

Unzip20 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip20 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) abcdefghijklmnopqrsts) = Push20 a b c d e f g h i j k l m n o p q r s t (Unzip20 abcdefghijklmnopqrsts)

type family Unzip21 (abcdefghijklmnopqrstus :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku)]) where ... Source #

Equations

Unzip21 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip21 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) abcdefghijklmnopqrstus) = Push21 a b c d e f g h i j k l m n o p q r s t u (Unzip21 abcdefghijklmnopqrstus)

type family Unzip22 (abcdefghijklmnopqrstuvs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv)]) where ... Source #

Equations

Unzip22 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip22 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) abcdefghijklmnopqrstuvs) = Push22 a b c d e f g h i j k l m n o p q r s t u v (Unzip22 abcdefghijklmnopqrstuvs)

type family Unzip23 (abcdefghijklmnopqrstuvws :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw)]) where ... Source #

Equations

Unzip23 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip23 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) abcdefghijklmnopqrstuvws) = Push23 a b c d e f g h i j k l m n o p q r s t u v w (Unzip23 abcdefghijklmnopqrstuvws)

type family Unzip24 (abcdefghijklmnopqrstuvwxs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx)]) where ... Source #

Equations

Unzip24 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip24 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) abcdefghijklmnopqrstuvwxs) = Push24 a b c d e f g h i j k l m n o p q r s t u v w x (Unzip24 abcdefghijklmnopqrstuvwxs)

type family Unzip25 (abcdefghijklmnopqrstuvwxys :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky)]) where ... Source #

Equations

Unzip25 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip25 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) abcdefghijklmnopqrstuvwxys) = Push25 a b c d e f g h i j k l m n o p q r s t u v w x y (Unzip25 abcdefghijklmnopqrstuvwxys)

type family Unzip26 (abcdefghijklmnopqrstuvwxyzs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz)]) where ... Source #

Equations

Unzip26 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip26 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) abcdefghijklmnopqrstuvwxyzs) = Push26 a b c d e f g h i j k l m n o p q r s t u v w x y z (Unzip26 abcdefghijklmnopqrstuvwxyzs)

type family Unzip27 (abcdefghijklmnopqrstuvwxyzaas :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa)]) where ... Source #

Equations

Unzip27 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip27 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa) abcdefghijklmnopqrstuvwxyzaas) = Push27 a b c d e f g h i j k l m n o p q r s t u v w x y z aa (Unzip27 abcdefghijklmnopqrstuvwxyzaas)

type family Unzip28 (abcdefghijklmnopqrstuvwxyzaaabs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab)]) where ... Source #

Equations

Unzip28 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip28 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab) abcdefghijklmnopqrstuvwxyzaaabs) = Push28 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab (Unzip28 abcdefghijklmnopqrstuvwxyzaaabs)

type family Unzip29 (abcdefghijklmnopqrstuvwxyzaaabacs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac)]) where ... Source #

Equations

Unzip29 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip29 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac) abcdefghijklmnopqrstuvwxyzaaabacs) = Push29 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac (Unzip29 abcdefghijklmnopqrstuvwxyzaaabacs)

type family Unzip30 (abcdefghijklmnopqrstuvwxyzaaabacads :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad)]) where ... Source #

Equations

Unzip30 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip30 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad) abcdefghijklmnopqrstuvwxyzaaabacads) = Push30 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad (Unzip30 abcdefghijklmnopqrstuvwxyzaaabacads)

type family Unzip31 (abcdefghijklmnopqrstuvwxyzaaabacadaes :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae)]) where ... Source #

Equations

Unzip31 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip31 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae) abcdefghijklmnopqrstuvwxyzaaabacadaes) = Push31 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae (Unzip31 abcdefghijklmnopqrstuvwxyzaaabacadaes)

type family Unzip32 (abcdefghijklmnopqrstuvwxyzaaabacadaeafs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf)]) where ... Source #

Equations

Unzip32 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip32 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af) abcdefghijklmnopqrstuvwxyzaaabacadaeafs) = Push32 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af (Unzip32 abcdefghijklmnopqrstuvwxyzaaabacadaeafs)

type family Unzip33 (abcdefghijklmnopqrstuvwxyzaaabacadaeafags :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag)]) where ... Source #

Equations

Unzip33 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip33 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag) abcdefghijklmnopqrstuvwxyzaaabacadaeafags) = Push33 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag (Unzip33 abcdefghijklmnopqrstuvwxyzaaabacadaeafags)

type family Unzip34 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah)]) where ... Source #

Equations

Unzip34 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip34 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahs) = Push34 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah (Unzip34 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahs)

type family Unzip35 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahais :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai)]) where ... Source #

Equations

Unzip35 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip35 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahais) = Push35 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai (Unzip35 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahais)

type family Unzip36 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj)]) where ... Source #

Equations

Unzip36 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip36 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajs) = Push36 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj (Unzip36 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajs)

type family Unzip37 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajaks :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak)]) where ... Source #

Equations

Unzip37 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip37 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajaks) = Push37 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak (Unzip37 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajaks)

type family Unzip38 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakals :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal)]) where ... Source #

Equations

Unzip38 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip38 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakals) = Push38 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al (Unzip38 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakals)

type family Unzip39 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalams :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam)]) where ... Source #

Equations

Unzip39 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip39 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalams) = Push39 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am (Unzip39 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalams)

type family Unzip40 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamans :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan)]) where ... Source #

Equations

Unzip40 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip40 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamans) = Push40 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an (Unzip40 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamans)

type family Unzip41 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaos :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao)]) where ... Source #

Equations

Unzip41 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip41 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaos) = Push41 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao (Unzip41 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaos)

type family Unzip42 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoaps :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap)]) where ... Source #

Equations

Unzip42 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])
Unzip42 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoaps) = Push42 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap (Unzip42 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoaps)

type family Unzip43 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq)]) where ... Source #

Equations

Unzip43 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip43 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqs) = Push43 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq (Unzip43 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqs)

type family Unzip44 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqars :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar)]) where ... Source #

Equations

Unzip44 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip44 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqars) = Push44 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar (Unzip44 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqars)

type family Unzip45 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarass :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas)]) where ... Source #

Equations

Unzip45 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip45 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarass) = Push45 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as (Unzip45 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarass)

type family Unzip46 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasats :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat)]) where ... Source #

Equations

Unzip46 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip46 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasats) = Push46 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at (Unzip46 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasats)

type family Unzip47 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasataus :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau)]) where ... Source #

Equations

Unzip47 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip47 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasataus) = Push47 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au (Unzip47 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasataus)

type family Unzip48 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav)]) where ... Source #

Equations

Unzip48 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip48 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavs) = Push48 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av (Unzip48 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavs)

type family Unzip49 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavaws :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw)]) where ... Source #

Equations

Unzip49 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip49 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavaws) = Push49 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw (Unzip49 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavaws)

type family Unzip50 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax)]) where ... Source #

Equations

Unzip50 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip50 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxs) = Push50 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax (Unzip50 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxs)

type family Unzip51 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxays :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay)]) where ... Source #

Equations

Unzip51 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip51 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxays) = Push51 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay (Unzip51 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxays)

type family Unzip52 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz)]) where ... Source #

Equations

Unzip52 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip52 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazs) = Push52 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az (Unzip52 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazs)

type family Unzip53 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbas :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba)]) where ... Source #

Equations

Unzip53 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip53 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbas) = Push53 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba (Unzip53 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbas)

type family Unzip54 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb)]) where ... Source #

Equations

Unzip54 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip54 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbs) = Push54 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb (Unzip54 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbs)

type family Unzip55 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc)]) where ... Source #

Equations

Unzip55 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip55 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcs) = Push55 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc (Unzip55 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcs)

type family Unzip56 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbds :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd)]) where ... Source #

Equations

Unzip56 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip56 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbds) = Push56 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd (Unzip56 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbds)

type family Unzip57 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbes :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe)]) where ... Source #

Equations

Unzip57 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip57 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbes) = Push57 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be (Unzip57 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbes)

type family Unzip58 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe, kbf)]) where ... Source #

Equations

Unzip58 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip58 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfs) = Push58 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf (Unzip58 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfs)

type family Unzip59 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe, kbf, kbg)]) where ... Source #

Equations

Unzip59 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip59 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgs) = Push59 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg (Unzip59 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgs)

type family Unzip60 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe, kbf, kbg, kbh)]) where ... Source #

Equations

Unzip60 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip60 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhs) = Push60 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh (Unzip60 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhs)

type family Unzip61 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbis :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe, kbf, kbg, kbh, kbi)]) where ... Source #

Equations

Unzip61 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip61 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbis) = Push61 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi (Unzip61 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbis)

type family Unzip62 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs :: [(ka, kb, kc, kd, ke, kf, kg, kh, ki, kj, kk, kl, km, kn, ko, kp, kq, kr, ks, kt, ku, kv, kw, kx, ky, kz, kaa, kab, kac, kad, kae, kaf, kag, kah, kai, kaj, kak, kal, kam, kan, kao, kap, kaq, kar, kas, kat, kau, kav, kaw, kax, kay, kaz, kba, kbb, kbc, kbd, kbe, kbf, kbg, kbh, kbi, kbj)]) where ... Source #

Equations

Unzip62 '[] = '('[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[], '[])

Unzip62 ('(:) '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs) = Push62 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj (Unzip62 abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs)