Add Alt instance

[paluh]

For this implementation we have (assumming: x, y, z :: Identity a):

• associativity: (x <|> y) <|> z = x <|> z = x = x <|> y = x <|> (y <|> z)
• distributivity: f <$> (x <|> y) = f <$> x = (f <$> x) <|> (f <$> y)

Is there any reason not to include such an instance?

[garyb]

I think this makes sense... it fits the laws and seems like the only reasonable instance for Identity.

[paf31]

Yes looks good

Sent from my iPhone

On Jul 19, 2016, at 12:51 PM, Gary Burgess notifications@github.com wrote:

I think this makes sense... it fits the laws and seems like the only reasonable instance for Identity.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.