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>;