なるほどなあ。

11:26 AM

それはおもしろい。

11:27 AM

非同期をモナドで抽象化するなら、同期のようなものを非同期側に昇格させるのは容易（pure）、みたいなことは言えるというようなアプローチで同期もasync letできてしまうほうが自然か（？） (edited)