augustjune/canoe

Make Episode effect type covariant

augustjune opened this issue · 1 comments

Make Episode effect type covariant

Currently has lost its priority, as this was mainly motivated by being able to remove Applicative constraint for the monad instance. This was implemented in #39, so the issue is not going to be fixed unless there's additional motivation to do so.