[Haskell-cafe] Alternative versus Monoid

[Conor McBride]

On 17 Dec 2011, at 02:51, Matthew Farkas-Dyck wrote:

>>
>
> By my reason, the instance (Monoid a => Monoid (Maybe a)) is
> appropriate, since we have another class for inner-type-agnostic
> choice -- Alternative!

So your argument is to create incoherence because we can. I'm not
convinced.

> (and MonadPlus, but that's essentially the
> same, and would be if (Functor m => Applicative m => Monad m), as it
> ought).

and as it already is in Strathclyde...

Cheers

Conor