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 s

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 https://dl.acm.org/doi/10.1145/581478.581484