Functor => Pointed => Applicative => Monad

Conor McBride conor at
Wed Dec 1 01:17:09 CET 2010

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.



More information about the Libraries mailing list