diff --git a/src/func/context.rs b/src/func/context.rs
index 9427011..be03244 100644
--- a/src/func/context.rs
+++ b/src/func/context.rs
@@ -46,3 +46,6 @@ pub trait FallibleCtx<'a>: FunctorContext<'a> {
     /// This is important for async applications stopping early.
     type Fallible: MonadFailAny<'a, T = Self::T>;
 }
+
+/// Preferred monad for fallible uses.
+pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
diff --git a/src/rstd/fallible.rs b/src/rstd/fallible.rs
index ce451de..a545cb0 100644
--- a/src/rstd/fallible.rs
+++ b/src/rstd/fallible.rs
@@ -6,9 +6,6 @@ use crate::func::context::*;
 
 use super::*;
 
-/// Preferred monad for fallible uses.
-pub type FallibleMonad<'a, Ctx, E> = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<E>;
-
 /// Preferred [Wrapped] [Result].
 pub type FallibleWrapped<'a, Ctx, A, E> = Wrap<'a, A, FallibleMonad<'a, Ctx, E>>;