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