この場合はそもそもFireCatを推測するのが不可能になってる、それは、左辺値がCatでしかないから