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