Test.Abides.Control.Alternative

distributive :: forall b a f. Alternative f => Applicative f => Eq (f b) => f a -> f (a -> b) -> f (a -> b) -> Boolean

(f <|> g) <> x == (f <> x) <|> (g <|> x)

annihilation :: forall b a f. Alternative f => Applicative f => Eq (f b) => f (a -> b) -> Boolean

empty <*> x == empty