From 00baa846dd65d8fbe0dc715d57a25387cf9ff2eb Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:34:14 +0000
Subject: [PATCH] use `FallibleWrapped` in `FallibleContext`

---
 src/rstd/fallible.rs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/rstd/fallible.rs b/src/rstd/fallible.rs
index a545cb0..ebbbd92 100644
--- a/src/rstd/fallible.rs
+++ b/src/rstd/fallible.rs
@@ -15,16 +15,12 @@ pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>
 /// this is the preferred way to switch between [Wrapped] and [fallible].
 pub trait FallibleContext<'a>: Context<'a> {
     /// Convert a fallible wrapped into a wrapped result.
-    fn unstuff<A: 'a, E: 'a>(
-        wa: WrapE<'a, A, E, <Self as Context<'a>>::Fallible>,
-    ) -> WrapC<'a, Result<A, E>, Self> {
+    fn unstuff<A: 'a, E: 'a>(wa: FallibleWrapped<'a, Self, A, E>) -> WrapC<'a, Result<A, E>, Self> {
         <Self as Context<'a>>::Fallible::unstuff(wa)
     }
 
     /// Convert a wrapped result into a fallible wrapped.
-    fn stuff<A: 'a, E: 'a>(
-        fa: WrapC<'a, Result<A, E>, Self>,
-    ) -> WrapE<'a, A, E, <Self as Context<'a>>::Fallible> {
+    fn stuff<A: 'a, E: 'a>(fa: WrapC<'a, Result<A, E>, Self>) -> FallibleWrapped<'a, Self, A, E> {
         <Self as Context<'a>>::Fallible::stuff(fa)
     }
 }