From 859f217902e402c6808acb79fbb107a0d64fc170 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Fri, 26 May 2023 08:05:53 +0000
Subject: [PATCH] `WeakFunctorA`

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

diff --git a/src/func.rs b/src/func.rs
index b96d88b..7303eca 100644
--- a/src/func.rs
+++ b/src/func.rs
@@ -41,6 +41,14 @@ pub trait WeakFunctor {
         Self: 'a;
 }
 
+pub trait WeakFunctorA<'a>: 'a {
+    type Fa<A: 'a>: 'a;
+}
+
+impl<'a, T: 'a + WeakFunctor> WeakFunctorA<'a> for T {
+    type Fa<A: 'a> = T::F<'a, A>;
+}
+
 pub type Wrap<'a, A, T> = <T as WeakFunctor>::F<'a, A>;
 
 /// Rust-specific implementation of [`Functor`], respecting `move` semantics.