GenericsでU,T宣言してwhere U:Tが書けないから、出来ることが限られてるけど

2:25 AM

取りあえず大枠としての目標は、型消しで共変を無理矢理サポートさせるみたいな事がしたい。

2:26 AM

AnyHogeでラップしたら共編の範囲内で推論される