サブタイピングルールとコンフォーマンスルールは違うんですよね