うーん、それだと Foo の異なる具象型間で Bar をやりとりできないですよね？

その型ってやっぱり普通に可視なんじゃないですかね