変数⊆単項式⊆多項式みたいな包含関係にある型の変換を陽に書かずに済むようにしたいが、 部分型がある型システムだと自明なのに、 Haskellみたいな型システムだと、 型クラスや型関数を使った全然自明でない話になってしまって、 悲しい。