moduleTest.QuickCheck.Instances.TuplewhereimportTest.QuickCheckimportControl.Monad{- | Generates a 2-tuple using its arguments to generate the parts.
-}(>*<)::Gena->Genb->Gen(a,b)x>*<y=liftM2(,)xy{- | Generates a 3-tuple using its arguments to generate the parts.
-}(>**<)::Gena->Genb->Genc->Gen(a,b,c)(>**<)xyz=liftM3(,,)xyz{- | Generates a 4-tuple using its arguments to generate the parts.
-}(>***<)::Gena->Genb->Genc->Gend->Gen(a,b,c,d)(>***<)xyza=liftM4(,,,)xyza{- | Generates a 5-tuple using its arguments to generate the parts.
-}(>****<)::Gena->Genb->Genc->Gend->Gene->Gen(a,b,c,d,e)(>****<)xyzab=liftM5(,,,,)xyzab