@tarunon >Tについて、covariantなのかcontravariantなのかが宣言できれば、無理なく機能を追加出来そう。 C#やkotlinのdeclaration site varianceがまさにそういう設計ですね class Box<out T> {} みたいに、 Tの前に in か out をつけられる (edited)