From 8ffaf6be203f0982be70b02376aef4d731e2bc4a Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 25 May 2023 13:55:53 +0000
Subject: [PATCH] extra type alias

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

diff --git a/src/func/speculative.rs b/src/func/speculative.rs
index bb3cd8c..ec5d269 100644
--- a/src/func/speculative.rs
+++ b/src/func/speculative.rs
@@ -3,6 +3,8 @@ use super::*;
 type Fwa<'a, A, E0, E1, Fallible> =
     Wrap<'a, Result<WrapE<'a, A, E0, Fallible>, E1>, <Fallible as MonadFailAny>::T>;
 
+type Wwa<'a, A, E0, E1, Fallible> = WrapE<'a, WrapE<'a, A, E0, Fallible>, E1, Fallible>;
+
 pub trait SpeculativeFail: MonadFailAny {
     fn _speculative_a_wb<'a, A: 'a, B: 'a, E0: 'a, E1: 'a>(
         a: Result<A, E0>,
@@ -80,8 +82,8 @@ pub trait SpeculativeFail: MonadFailAny {
     }
 
     fn speculative<'a, A: 'a, B: 'a, E0: 'a, E1: 'a>(
-        wwa: WrapE<'a, WrapE<'a, A, E0, Self>, E1, Self>,
-        wwb: WrapE<'a, WrapE<'a, B, E0, Self>, E1, Self>,
+        wwa: Wwa<'a, A, E0, E1, Self>,
+        wwb: Wwa<'a, B, E0, E1, Self>,
     ) -> WrapE<'a, (A, B), Result<E0, E1>, Self>
     where
         Self: 'a,