src/func/classes/option.rs

@@ -123,15 +123,6 @@ impl LocalFunctor for OptionClass {
     }
 }
 
-impl MonadFail<()> for OptionClass {
-    fn fail<'a, A: 'a>(_e: ()) -> Self::F<'a, A>
-    where
-        Self: 'a,
-        (): 'a {
-        None
-    }
-}
-
 #[cfg(test)]
 mod option_tests {
     use super::{test_suite, tests, Functor};

src/func/classes/solo.rs

@@ -115,13 +115,3 @@ 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 {}
-    }
-}