From e02b125ee8e71c825b7162903bac442eb44f35b4 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Sat, 20 May 2023 14:32:54 +0000
Subject: [PATCH] `EmbedFail`

---
 src/func/classes/overload.rs | 2 ++
 1 file changed, 2 insertions(+)

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