-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Extras for the "contravariant" package
--   
--   Extras for the "contravariant" package
@package contravariant-extras
@version 0.3.1


-- | A berserk collection of <tt>contrazip</tt> functions with arities of
--   up to 42, which are specialized to the <tt>Op</tt> type, and jump thru
--   fewer hoops than their <tt>Divisible</tt>-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 <a>Contravariant.Extras.Op</a>
--   only to not pollute its documentation. The
--   <a>Contravariant.Extras.Op</a> module still reexports this module, so
--   you can simply import that only.
module Contravariant.Extras.Op.Contrazip
contrazip2 :: Monoid a => Op a b1 -> Op a b2 -> Op a (b1, b2)
contrazip3 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a (b1, b2, b3)
contrazip4 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a (b1, b2, b3, b4)
contrazip5 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a (b1, b2, b3, b4, b5)
contrazip6 :: 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)
contrazip7 :: 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)
contrazip8 :: 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)
contrazip9 :: 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)
contrazip10 :: 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)
contrazip11 :: 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)
contrazip12 :: 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)
contrazip13 :: 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)
contrazip14 :: 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)
contrazip15 :: 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)
contrazip16 :: 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)
contrazip17 :: 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)
contrazip18 :: 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)
contrazip19 :: 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)
contrazip20 :: 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)
contrazip21 :: 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)
contrazip22 :: 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)
contrazip23 :: 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)
contrazip24 :: 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)
contrazip25 :: 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)
contrazip26 :: 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)
contrazip27 :: 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)
contrazip28 :: 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)
contrazip29 :: 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)
contrazip30 :: 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)
contrazip31 :: 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)
contrazip32 :: 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)
contrazip33 :: 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)
contrazip34 :: 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)
contrazip35 :: 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)
contrazip36 :: 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)
contrazip37 :: 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)
contrazip38 :: 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)
contrazip39 :: 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)
contrazip40 :: 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)
contrazip41 :: 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)
contrazip42 :: 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)


-- | This module exports functions specialized for the <tt>Op</tt> type.
module Contravariant.Extras.Op


-- | A berserk collection of <tt>contrazip</tt> 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 <a>Contravariant.Extras</a>
--   only to not pollute its documentation. The <a>Contravariant.Extras</a>
--   module still reexports this module, so you can simply import that
--   only.
module Contravariant.Extras.Contrazip
contrazip2 :: Divisible f => f a1 -> f a2 -> f (a1, a2)
contrazip3 :: Divisible f => f a1 -> f a2 -> f a3 -> f (a1, a2, a3)
contrazip4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f (a1, a2, a3, a4)
contrazip5 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f (a1, a2, a3, a4, a5)
contrazip6 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f (a1, a2, a3, a4, a5, a6)
contrazip7 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f (a1, a2, a3, a4, a5, a6, a7)
contrazip8 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f (a1, a2, a3, a4, a5, a6, a7, a8)
contrazip9 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9)
contrazip10 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
contrazip11 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
contrazip12 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)
contrazip13 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)
contrazip14 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)
contrazip15 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)
contrazip16 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)
contrazip17 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)
contrazip18 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)
contrazip19 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)
contrazip20 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)
contrazip21 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21)
contrazip22 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22)
contrazip23 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23)
contrazip24 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> 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)
contrazip25 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> 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)
contrazip26 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> 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)
contrazip27 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> 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)
contrazip28 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> 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)
contrazip29 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> 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)
contrazip30 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> 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)
contrazip31 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> 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)
contrazip32 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> 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)
contrazip33 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> 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)
contrazip34 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> 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)
contrazip35 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> 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)
contrazip36 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> 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)
contrazip37 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> 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)
contrazip38 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> 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)
contrazip39 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> 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)
contrazip40 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> 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)
contrazip41 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> f a41 -> 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)
contrazip42 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> f a41 -> f a42 -> 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)

module Contravariant.Extras
