diff --git a/src/func/classes/overload.rs b/src/func/classes/overload.rs
index 8d3cc7b..497c38a 100644
--- a/src/func/classes/overload.rs
+++ b/src/func/classes/overload.rs
@@ -308,3 +308,5 @@ impl<T: CovariantFunctor, O: DeriveWeakFunctor> CovariantFunctor for OverloadCla
         T::variate(fa)
     }
 }
+
+pub type EmbedFail<T, Ex> = OverloadClass<T, DeriveFail<Ex>>;