1 Dec
2010
1 Dec
'10
5:44 a.m.
On Wed, Dec 1, 2010 at 12:17 AM, Conor McBride
On 30 Nov 2010, at 16:05, David Menendez wrote:
I contend that there is little benefit to splitting Applicative. By itself, 'pure' is simply too loosely defined.
It would be more interesting to have a type class for those functors which were not pointed. Relatively speaking.
I'm completely lost now. Do you mean something other than Functor? What do you have in mind? John