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. Cheers Conor