@koher @tarunon いやいや、型は型でしかないけど、 spawn letにはスコープに束縛された実行を終了待機するという実行制御も含まれているので、型の機能を超えているので型としてみなすのはおかしいと思います。 (edited)