Contravariant.Extras.Op.Contramap

A berserk collection of contramap functions with arities of up to 42, which are specialized to the Op type, and jump thru less 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.

Documentation

contramap2 :: forall a b1 b2. Monoid a => Op a b1 -> Op a b2 -> Op a (b1, b2)

contramap3 :: forall a b1 b2 b3. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a (b1, b2, b3)

contramap4 :: forall a b1 b2 b3 b4. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a (b1, b2, b3, b4)

contramap5 :: forall a b1 b2 b3 b4 b5. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a (b1, b2, b3, b4, b5)

contramap6 :: forall a b1 b2 b3 b4 b5 b6. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a (b1, b2, b3, b4, b5, b6)

contramap7 :: forall a b1 b2 b3 b4 b5 b6 b7. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a (b1, b2, b3, b4, b5, b6, b7)

contramap8 :: forall a b1 b2 b3 b4 b5 b6 b7 b8. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8)

contramap9 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9)

contramap10 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10)

contramap11 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11)

contramap12 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12)

contramap13 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)

contramap14 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)

contramap15 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)

contramap16 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)

contramap17 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)

contramap18 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)

contramap19 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)

contramap20 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)

contramap21 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)

contramap22 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)

contramap23 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> 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)

contramap24 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> 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)

contramap25 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> 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)

contramap26 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> 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)

contramap27 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> 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)

contramap28 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> 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)

contramap29 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> 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)

contramap30 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> 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)

contramap31 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> 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)

contramap32 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> 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)

contramap33 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> 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)

contramap34 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> 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)

contramap35 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> 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)

contramap36 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> 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)

contramap37 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> 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)

contramap38 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> 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)

contramap39 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> 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)

contramap40 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> 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)

contramap41 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> 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)

contramap42 :: forall 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. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> Op a b42 -> 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)