From d152e2196df1a4e171c7dd6c2106e3471c640cbd Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Wed, 26 Apr 2023 03:42:08 +0000
Subject: [PATCH] MonadFail for SoloClass

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

diff --git a/src/func/classes/solo.rs b/src/func/classes/solo.rs
index 2a9136e..a2d1112 100644
--- a/src/func/classes/solo.rs
+++ b/src/func/classes/solo.rs
@@ -115,3 +115,13 @@ impl LocalFunctor for SoloClass {
         fa
     }
 }
+
+impl MonadFail<std::convert::Infallible> for SoloClass {
+    fn fail<'a, A: 'a>(e: std::convert::Infallible) -> Self::F<'a, A>
+    where
+        Self: 'a,
+        std::convert::Infallible: 'a,
+    {
+        match e {}
+    }
+}