@@ -19,6 +19,7 @@ infixl 2 $>
19($>) : Applicative f => f a -> f b -> f b
19($>) : Applicative f => f a -> f b -> f b
20a $> b = fmap (const id) a <$> b
20a $> b = fmap (const id) a <$> b
22class Applicative f => Alternative (f : Type -> Type) where
23class Applicative f => Alternative (f : Type -> Type) where
23 empty : f a
24 empty : f a
24 (<|>) : f a -> f a -> f a
25 (<|>) : f a -> f a -> f a