Avatar
古き良き正しさに戻ってる感がある
6:42 AM
「型」と「型のみたす制約」は次元の違う概念だから (edited)