From 4d1202d399822e74d9127f3190a80cd5c12b4639 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 27 Apr 2023 04:50:35 +0000
Subject: [PATCH] CovariantFunctor

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

diff --git a/src/func.rs b/src/func.rs
index 9fd2fbb..468989e 100644
--- a/src/func.rs
+++ b/src/func.rs
@@ -300,3 +300,9 @@ pub trait SharedFunctor: WeakFunctor {
     where
         Self: 'a;
 }
+
+pub trait CovariantFunctor: WeakFunctor {
+    fn variate<'a: 'b, 'b, A: 'a>(fa: Self::F<'a, A>) -> Self::F<'b, A>
+    where
+        Self: 'a;
+}