<div dir="ltr"><div><div><div><div>Hi guys,<br></div>is there some library with a Monad (+Applicative, Functor...) instance of the following type:<br><span style="font-family:monospace,monospace"><br></span></div><span style="font-family:monospace,monospace">data Todo a b = Todo [a] | Done b </span><br><br></div>Thanks!<br></div>Corentin<br></div>