@@ -11,4 +11,6 @@ class Functor f => Applicative (f : Type -> Type) where
11 pure : a -> f a
11 pure : a -> f a
12 (<$>) : f (a -> b) -> f a -> f b
12 (<$>) : f (a -> b) -> f a -> f b
14−
14+class Applicative f => Alternative (f : Type -> Type) where
16+ (<|>) : f a -> f a -> f a