Je suis vraiment content de notre système de types composables. Au lieu de faire des vérifications à l'exécution, vous écrivez simplement les conditions de manière déclarative. Comme ici, nous utilisons `NonEmpty` pour garantir que lorsque vous envoyez des jetons, vous ne pouvez pas envoyer un montant nul :

Ou ici, nous utilisons `Bounded` pour garantir que les taux de frais sont de valeurs raisonnables :