[Haskell-cafe] Todo monad

Francesco Ariis fa-ml at ariis.it
Tue Aug 16 18:21:40 UTC 2016

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.

More information about the Haskell-Cafe mailing list