effectfully

I'll add this as soon as I have time to grasp this `Handler` thing. Thanks for opening the issue.

If we remove the newtypes obfuscation and flip the order of arguments, it's just ```haskell handles :: Monad m => (forall acc. (acc -> a -> DriveT m acc) ->...

> you could just define something like Pattern directly Done. > I wrote the obvious functions to correspond to impurely though I suspect something is wrong with at least the...

My primary goal was "to make things work", so the idea about `Dec` didn't even come to my mind. Thanks for the suggestion, I'll try to make `M` a decision...

Hmm.. but I'll probably need first-order unification, which doesn't look efficient at all. Maybe I should write a total version and use the partial for tests.

I'll look into it this weekend.

(my machine has died, so the next weekend or the one after that)

So I tried to update the library, but `Reflection` has changed a lot and now it's not clear to me at all how to do the same thing that I...