1つの関数型には畳み込めない

このことが & はオーバーロードを表すことを示してるのでは？