22 May
2013
22 May
'13
6:22 p.m.
On Wed, May 22, 2013 at 01:12:11PM +0100, Ian Lynagh wrote:
I think there are 4 things it has been suiggested that we might do: * Generalise Prelude.mapM etc * Remove Prelude.mapM etc * Add more monomorphic variants to Prelude (e.g. whenJust) * Nothing
Wasn't there also mention of making Applicative a superclass of Monad? That might actually have less impact on beginners than generalizing the types of foldr and sum, and doing it first might allow us to rationalize the situation with some of the monad combinators that are clashing.