diff --git a/src/std.rs b/src/std.rs
index e1e0eaa..93c17f5 100644
--- a/src/std.rs
+++ b/src/std.rs
@@ -3,6 +3,7 @@
 pub mod atomic;
 pub mod cast;
 pub mod collections;
+pub mod fallible;
 pub mod inlining;
 mod local_origin;
 pub mod nullable;
diff --git a/src/std/fallible.rs b/src/std/fallible.rs
new file mode 100644
index 0000000..4a2c493
--- /dev/null
+++ b/src/std/fallible.rs
@@ -0,0 +1,7 @@
+use crate::func::classes::{composition::*, result::*};
+
+use super::*;
+
+pub type FallibleMonad<Ctx, E> = CompositionClass<<Ctx as Context>::T, ResultClass<E>>;
+
+pub type FallibleWrapped<'a, Ctx, A, E> = <FallibleMonad<Ctx, E> as WeakFunctor>::F<'a, A>;