Utilisations de l'unité de type

Question

La Unit le type est un type singleton contenant la constante unit. Dans les langues fonctionnelles avec des effets secondaires, unit est utilisé dans les fonctions qui effectuent des effets secondaires. Par exemple print est une fonction de string à Unit.

Unit correspond également à la vérité. Si vous considérez le type de l'expression comme une proposition et le programme comme preuve, Unit correspond à la vérité puisque vous pouvez toujours prouver Unit en utilisant la constante unit.

Ma question est en dehors de ces deux utilisations, y a-t-il d'autres utilisations de Unit?