これp.catはCat?だから、普通に考えたら無理だよね、.をOptional<Cat>で埋めても、mikeは居ないはず。Optionalは特別扱い？