いずれにせよ現状の型システムだとサブタイピングはできないからコンパイラサポートがいりそう