-> some Animal で return isFoo ? Cat() : Dog() してるとかはエラーにしてほしい気がしますね。