diff --git a/src/func.rs b/src/func.rs
index e71d2c3..ff00fdd 100644
--- a/src/func.rs
+++ b/src/func.rs
@@ -235,22 +235,6 @@ pub trait MonadFail<E>: Monad + Fail<E> {}
 
 impl<E, T: Monad + Fail<E>> MonadFail<E> for T {}
 
-/// Equivalent of Haskell's `Alternative`.
-/// Lacks `some`/`many` definitions due to [`FnOnce`] category semantics.
-///
-/// <https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Applicative.html>
-pub trait Alternative: Applicative {
-    /// Equivalent of Haskell's `empty`.
-    fn empty<'a, A: 'a>() -> Self::F<'a, A>
-    where
-        Self: 'a;
-
-    /// Equivalent of Haskell's `<|>`.
-    fn add<'a, A: 'a>(fa: Self::F<'a, A>, fb: Self::F<'a, A>) -> Self::F<'a, A>
-    where
-        Self: 'a;
-}
-
 /// Represents wrapped results which are instantly available.
 pub trait LocalFunctor: WeakFunctor {
     /// Extract iteration state, if successful.