24 May
2013
24 May
'13
3:13 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 if it goes together with the MINIMAL pragma, -1 otherwise.