tuple_can_be_expressed_via_la2

src/func/test_suite.rs

@@ -52,6 +52,11 @@ pub fn applicative_follows_laws<'a, T: Applicative<'a> + FunctorTestSuite<'a>>()
             res += discard_can_be_expressed_via_seq_or_la2::<T, _, _>(|| pa(2), || pb(2));
         })
     });
+    T::sample(|pa| {
+        T::sample(|pb| {
+            res += tuple_can_be_expressed_via_la2::<T, _, _>(|| pa(2), || pb(2));
+        })
+    });
     res
 }
 

src/func/tests.rs

@@ -331,3 +331,19 @@ pub fn void_can_be_exressed_via_replace<
         T::replace(fa0(), ()),
     )
 }
+
+pub fn tuple_can_be_expressed_via_la2<
+    'a,
+    T: Applicative<'a> + Eqr<'a>,
+    A: 'a + Send + Debug + PartialEq,
+    B: 'a + Send + Debug + PartialEq,
+>(
+    fa0: impl Fn() -> T::F<A>,
+    fb0: impl Fn() -> T::F<B>,
+) -> R {
+    T::eqr(
+        "tuple via la2",
+        T::tuple((fa0(), fb0())),
+        T::la2(fa0(), fb0(), |a, b| (a, b)),
+    )
+}