Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Do I have to do the whole Tactics song and dance when using interceptH if I want to "just do nothing" in some of the cases?
related issue https://github.com/polysemy-research/polysemy/issues/314
what song and dance? \case Action1 -> lifT action1 should be enough
\case Action1 -> lifT action1
interceptH @(Error _) \case
Throw -> ...
Catch act handle -> ???
yeah probably :thinking: