omochimetaru 4/16/2020 5:31 AM

インチキってどの部分ですか？

5:32 AM

サブタイピング自体は間違ってないと思うんですよね、値の集合の包含関係から考えて。