単相型のHindley-Milner型推論