BazがBarを使っていないのがたまたまか判断できないから、ちょっと実装を変えるだけで型が変わってしまう可能性があって厳しそう。