Type Alias FunctionType<From, To>

FunctionType: fn extends From
    ? _FunctionUnknown
    : fn extends To
        ? _FunctionUnknown
        : From extends To
            ? To extends From
                ? _EQ & { type: "function" }
                : _FunctionType<From, To>
            : _FunctionType<From, To>