[Haskell-cafe] (no subject)
kane at kane.cx
Tue Aug 16 21:12:30 UTC 2016
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
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> 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:
> Only members subscribed via the mailman list are allowed to post.
More information about the Haskell-Cafe