Significato della modalità "perché no" dalla teoria del tipo lineare?

Question

Nella teoria del tipo lineare c'è una modalità scritta ! dove !T può essere letto come "copie infinite di T".

Secondo NCATLAB, c'è un doppio in questa modalità che a volte viene scritta ?T e indicato come modalità "perché no". Qual è il significato di questa modalità? Come fa ?T comportarsi come un tipo?