HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulecontravariant-extras-0.3.5.4Haskell2010

Contravariant.Extras.Contrazip

A berserk collection of contrazip functions with arities of up to 42.

Why 42? Well, naturally, because it's the answer to the ultimate question of life, the universe and everything.

It's exported as a separate module from Contravariant.Extras only to not pollute its documentation. The Contravariant.Extras module still reexports this module, so you can simply import that only.

  • 41 values
valuecontrazip42
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f a38
  40. -> f a39
  41. -> f a40
  42. -> f a41
  43. -> f a42
  44. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42)
#
valuecontrazip41
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f a38
  40. -> f a39
  41. -> f a40
  42. -> f a41
  43. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41)
#
valuecontrazip40
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f a38
  40. -> f a39
  41. -> f a40
  42. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40)
#
valuecontrazip39
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f a38
  40. -> f a39
  41. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39)
#
valuecontrazip38
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f a38
  40. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38)
#
valuecontrazip37
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f a37
  39. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37)
#
valuecontrazip36
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f a36
  38. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36)
#
valuecontrazip35
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f a35
  37. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35)
#
valuecontrazip34
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f a34
  36. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34)
#
valuecontrazip33
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f a33
  35. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33)
#
valuecontrazip32
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f a32
  34. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32)
#
valuecontrazip31
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f a31
  33. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31)
#
valuecontrazip30
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f a30
  32. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30)
#
valuecontrazip29
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f a29
  31. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29)
#
valuecontrazip28
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f a28
  30. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28)
#
valuecontrazip27
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f a27
  29. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27)
#
valuecontrazip26
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f a26
  28. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26)
#
valuecontrazip25
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f a25
  27. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25)
#
valuecontrazip24
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f a24
  26. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24)
#
valuecontrazip23
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f a23
  25. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23)
#
valuecontrazip22
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f a22
  24. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22)
#
valuecontrazip21
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f a21
  23. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21)
#
valuecontrazip20
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f a20
  22. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)
#
valuecontrazip19
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f a19
  21. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)
#
valuecontrazip18
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f a18
  20. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)
#
valuecontrazip17
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f a17
  19. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)
#
valuecontrazip16
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f a16
  18. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)
#
valuecontrazip15
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f a15
  17. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)
#
valuecontrazip14
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f a14
  16. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)
#
valuecontrazip13
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f a13
  15. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)
#
valuecontrazip12
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f a12
  14. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)
#
valuecontrazip11
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f a11
  13. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
#
valuecontrazip10
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f a10
  12. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
#
valuecontrazip9
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f a9
  11. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9)
#
valuecontrazip8
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f a8
  10. -> f (a1, a2, a3, a4, a5, a6, a7, a8)
#
valuecontrazip7
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f a7
  9. -> f (a1, a2, a3, a4, a5, a6, a7)
#
valuecontrazip6
  1. :: Divisible f
  2. => f a1
  3. -> f a2
  4. -> f a3
  5. -> f a4
  6. -> f a5
  7. -> f a6
  8. -> f (a1, a2, a3, a4, a5, a6)
#