Usi dell'unità di tipo

Question

Il Unit Il tipo è un tipo singleton contenente la costante unit. In linguaggi funzionali con effetti collaterali, unit è usato in funzioni che eseguono effetti collaterali. Per esempio print è una funzione da string a Unit.

Unit corrisponde anche alla verità. Se si considera il tipo di espressione come una proposta e il programma come una prova, Unit corrisponde alla verità poiché puoi sempre dimostrare Unit Usando la costante unit.

La mia domanda è a parte questi due usi, c'è altri usi di Unit?