Functor => Pointed => Applicative => Monad

[John Lato]

On Wed, Dec 1, 2010 at 12:17 AM, Conor McBride
<conor at strictlypositive.org>wrote:

>
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20101201/c1f42a97/attachment.htm>