「Base部分はMainActorで保護されているのにDerived部分はそうではない」に意味があるかどうかだな

8:06 AM

型理論的にはサブタイプ側でゆるくなる分にはおかしくはないか・・・？