なるほど〜そこでopen existentialを挟み込む方向でなく通常のサブタイピングの処理から外れて特別扱いする方に進化してしまったのかな。。