Structural Subtypingで通しても同じように崩壊するだけじゃないのかなあ。 (edited)