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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
