我正在学习Typescript，目前正在学习函数这一章，请看下面的代码：

type ArrMapCallbackFunctionTypeExpression = (value: number, index: number, arr: number[]) => number

function map (arr: number[], cb: ArrMapCallbackFunctionTypeExpression): number[] {
    return arr.map(cb);
}

function callback0 () { return 1; }

function callback1 (value: number) {
    return value;
}

function callback2 (value: number, index: number) {
    return value;
}

function callback3 (value: number, index: number, arr: number[]) {
    return value;
}

map([1, 2, 3], callback1)
map([1, 2, 3], callback2)
map([1, 2, 3], callback3)

有人能告诉我为什么上面代码中的callback0、callback1和callback2与类型ArrMapCallbackFunctionTypeExpression匹配吗？