zip5 package:typelevel-tools-yj
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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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]) 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)]) :: ([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])