17 Aug
2016
17 Aug
'16
2:21 a.m.
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