CindyLinz++ ㄟ 妳是人型 type inference ?