HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulecontravariant-extras-0.3.5.4Haskell2010

Contravariant.Extras.Op.Contrazip

A berserk collection of contrazip functions with arities of up to 42, which are specialized to the Op type, and jump thru fewer hoops than their Divisible-based siblings.

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.Op only to not pollute its documentation. The Contravariant.Extras.Op module still reexports this module, so you can simply import that only.

  • 41 values
valuecontrazip42
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a b38
  40. -> Op a b39
  41. -> Op a b40
  42. -> Op a b41
  43. -> Op a b42
  44. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42)
#
valuecontrazip41
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a b38
  40. -> Op a b39
  41. -> Op a b40
  42. -> Op a b41
  43. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41)
#
valuecontrazip40
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a b38
  40. -> Op a b39
  41. -> Op a b40
  42. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40)
#
valuecontrazip39
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a b38
  40. -> Op a b39
  41. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39)
#
valuecontrazip38
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a b38
  40. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38)
#
valuecontrazip37
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a b37
  39. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37)
#
valuecontrazip36
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a b36
  38. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36)
#
valuecontrazip35
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a b35
  37. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35)
#
valuecontrazip34
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a b34
  36. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34)
#
valuecontrazip33
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a b33
  35. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33)
#
valuecontrazip32
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a b32
  34. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32)
#
valuecontrazip31
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a b31
  33. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31)
#
valuecontrazip30
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a b30
  32. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30)
#
valuecontrazip29
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a b29
  31. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29)
#
valuecontrazip28
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a b28
  30. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28)
#
valuecontrazip27
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a b27
  29. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27)
#
valuecontrazip26
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a b26
  28. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26)
#
valuecontrazip25
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a b25
  27. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25)
#
valuecontrazip24
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a b24
  26. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24)
#
valuecontrazip23
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a b23
  25. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23)
#
valuecontrazip22
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a b22
  24. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)
#
valuecontrazip21
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a b21
  23. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)
#
valuecontrazip20
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a b20
  22. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)
#
valuecontrazip19
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a b19
  21. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)
#
valuecontrazip18
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a b18
  20. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)
#
valuecontrazip17
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a b17
  19. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)
#
valuecontrazip16
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a b16
  18. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)
#
valuecontrazip15
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a b15
  17. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)
#
valuecontrazip14
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a b14
  16. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)
#
valuecontrazip13
  1. :: Monoid a
  2. => Op a b1
  3. -> Op a b2
  4. -> Op a b3
  5. -> Op a b4
  6. -> Op a b5
  7. -> Op a b6
  8. -> Op a b7
  9. -> Op a b8
  10. -> Op a b9
  11. -> Op a b10
  12. -> Op a b11
  13. -> Op a b12
  14. -> Op a b13
  15. -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)
#