このようなツイートを拝見した： instantiationだけ実装すれば組み込み関数の多相化が出来るのでは？— taka2 (@Jj1Fxh) October 30, 2022 確かにそのとおりで、単相型推論からLet多相の間に「ユーザ定義の関数は単相だが特定の組み込み関数は多相」という型…