diff --git a/src/func.rs b/src/func.rs index aa7cd8b..7fce1da 100644 --- a/src/func.rs +++ b/src/func.rs @@ -348,6 +348,7 @@ pub trait MonadFailAnyExt: MonadFailAny { { as Pure>::pure(a) } + fn fail<'a, E: 'a, A: 'a>(e: E) -> as WeakFunctor>::F<'a, A> where Self: 'a,