[Haskell-cafe] (no subject)

[David Kraeutmann]

This was in reply to Theodore's message:

> I have a hunch that the desired behavior is Either b [a], tho. (Or
possibly [Either b a]?)


On 08/16/2016 11:12 PM, David Kraeutmann wrote:
> I went from the assumption that he just wants something like
>
> instance Monad (Todo a)
>
> and that implies that b is the type inside of the monad.
>
>
> On 08/16/2016 08:23 PM, David Kraeutmann wrote:
>> This looks functionally identical to type Todo a b = Either [a] b, and Either has a Monad instance.
>> On 8/16/2016 8:21 PM, Corentin Dupont wrote:
>>> Hi guys,
>>> is there some library with a Monad (+Applicative, Functor...) instance of
>>> the following type:
>>>
>>> data Todo a b = Todo [a] | Done b
>>>
>>> Thanks!
>>> Corentin
>>>
>>>
>>>
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> To (un)subscribe, modify options or view archives go to:
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>> Only members subscribed via the mailman list are allowed to post.
>>>
>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.