vtableか何か、implを引ける仕組みがあれば、そこに乗せればいい気はしてるんですが

3:31 AM

そういうのが無い場合に出来るイメージが全く湧かない

3:31 AM

いや、左の型が非決定的だからvtableあっても意味ない