Type variables in Callables don't unify

Issue type: Bug
Python version: 3.8
mypy version: 0.760
mypy flags: whatever the defaults are on https://mypy-play.net/

I discovered this issue when playing around with a monad-y Either thing (and here's it working in Typescript)

Here is (I think) a minimal repro:

from typing import Callable, TypeVar, Generic

def foo() -> int:
    return 1

T = TypeVar('T')
bar: Callable[[], T] = foo

main.py:7: error: Incompatible types in assignment (expression has type "Callable[[], int]", variable has type "Callable[[], T]")

I would expect that in the type declaration of bar, T would unify with int, but clearly it does not.

Inizia con la riproduzione minima in main.py ed eseguila usando la versione di mypy e i flag predefiniti descritti nell’issue. Confronta il risultato dell’assegnazione di Callable con l’unificazione prevista di TypeVar, quindi traccia il comportamento rilevante dell’inferenza dei tipi in mypy. Il lavoro è completato quando la riproduzione viene accettata con il tipo inferito previsto e viene aggiunta la copertura della regressione.