つまり実行時にもし func package の中で print(type(of: )) したときは、 Cat が得られるってことですね。