omochimetaru 3/24/2021 5:54 PM

そういう感じだね。できるようになる事もあるけど、

5:55 PM

肝心のtype erasureを手書きする時のユースケースに関してはあまり役に立たなそう