24 May
2013
24 May
'13
1:59 a.m.
On 23/05/2013 20:39, David Luposchainsky wrote:
- Don't break compatibility - Apply it gently
- Applicative m => Monad m - Applicative into Prelude (and therefore into the Report) - (Alternative m, Monad m) => MonadPlus m
+1
- Promote `join` into the Monad typeclass
-1 Typeclasses with cyclic defaults are too fragile at the moment. Let's sort that out *before* adopting a change that increases the number of such typeclasses. Ganesh