[lmeyerov]

Ah yeah unfortunate, afaict it does not (yet?) support lambdas, which is where imo this starts supporting flows that are hard via manual asserts

I was hoping something like a more modern https://dl.acm.org/doi/10.1145/581478.581484