typeerasureだとクソ複雑で無理だったコードとか、ワンチャン循環する構造もexistentialに落とせそう

11:11 AM

Persecのコードはめちゃくちゃ簡単になるはず