[Haskell-cafe] Todo monad

[Mihai Maruseac]

You could say that yak shaving is bind, you just get more stuff on the
"todo list".

On Tue, Aug 16, 2016 at 2:21 PM, Francesco Ariis <fa-ml at ariis.it> wrote:
> On Tue, Aug 16, 2016 at 08:21:31PM +0200, 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
>
> What is the general idea behind the "todo monad"? As an unrepented
> procrastinator, I might learn something useful.
> _______________________________________________
> 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.



-- 
Mihai Maruseac (MM)
"If you can't solve a problem, then there's an easier problem you can
solve: find it." -- George Polya