Signification de la modalité «pourquoi pas» de la théorie du type linéaire?

Question

Dans la théorie de type linéaire, il y a une modalité écrite ! où !T peut être lu comme "des copies infinies de T".

Selon NcatLab, il y a un duel à cette modalité qui est parfois écrite ?T et appelé la modalité "pourquoi pas". Quelle est la signification de cette modalité? Comment ?T se comporter comme un type?