Hm, yes. This example indeed breaks my raw idea above.
UPD: I think it could've worked if return result of with was bounded by Send.
Hm, yes. This example indeed breaks my raw idea above.
UPD: I think it could've worked if return result of with was bounded by Send.