型推論 related domains (1)