tarunon 3/6/2019 2:11 AM

つまりこれはあれだ一般的なexistentialに対してopenedな型だ

2:11 AM

@ukitaka 後で助けてくれ