Re: Functor => Pointed => Applicative => Monad

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