() -> Animal に対する extension は () -> Cat にも使えるのか。