From 0834b5e0c8594ea1351beee5f584fae01e88b77e Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:26:51 +0000
Subject: [PATCH] `Context` imply `FallibleCtx`

---
 src/rcore/context.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rcore/context.rs b/src/rcore/context.rs
index c96ba0f..de9bb92 100644
--- a/src/rcore/context.rs
+++ b/src/rcore/context.rs
@@ -3,7 +3,7 @@ use fail::*;
 use super::*;
 
 /// Execution context.
-pub trait Context<'a>: FunctorContext<'a, T = Self::_Tm> {
+pub trait Context<'a>: FallibleCtx<'a, T = Self::_Tm> {
     /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
     type _Tm: Monad<'a>;