Generic call signatures and type inference

Question

I have the following two snippets: 1.

interface Identity {
    (arg: T): T
}

function identity(arg: T) {
    return arg
}

let