手書きType erasureは移行期間中のワークアラウンドで

4:31 AM

Generalized Existentialがサポートされたら不要になる、という方向なのかと・・・