From e8c778fa0d22489cc2243d2cc4b0957eb2bc5667 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Sun, 15 Oct 2023 14:29:51 +0000
Subject: [PATCH] move void test

---
 src/func/test_suite.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/func/test_suite.rs b/src/func/test_suite.rs
index 86d4f08..ca2ed24 100644
--- a/src/func/test_suite.rs
+++ b/src/func/test_suite.rs
@@ -13,6 +13,9 @@ pub fn functor_follows_laws<'a, T: Functor<'a> + FunctorTestSuite<'a>>() -> R {
     T::sample(|pa| {
         res += fmap_respects_composition::<T, _, _, _>(|x| x + 5, |x| x + 3, || pa(2));
     });
+    T::sample(|pa| {
+        res += void_can_be_exressed_via_replace::<T, _>(|| pa(2));
+    });
     res
 }
 
@@ -75,8 +78,5 @@ pub fn monad_follows_laws<'a, T: Monad<'a> + FunctorTestSuite<'a>>() -> R {
     T::sample(|pa| {
         res += fmap_can_be_expressed_via_bind::<T, _, _>(|x| x + 3, || pa(2));
     });
-    T::sample(|pa| {
-        res += void_can_be_exressed_via_replace::<T, _>(|| pa(2));
-    });
     res
 }