17 Dec
2011
17 Dec
'11
5:32 a.m.
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