omochimetaru 12/14/2017 6:42 AM

古き良き正しさに戻ってる感がある

6:42 AM

「型」と「型のみたす制約」は次元の違う概念だから (edited)