Sono davvero felice del nostro sistema di tipi composabili. Invece di fare controlli a runtime, scrivi semplicemente le condizioni in modo dichiarativo. Ad esempio, qui usiamo `NonEmpty` per garantire che quando invii token, non puoi inviare un importo pari a zero:

O qui usiamo `Bounded` per garantire che le tariffe delle commissioni siano di valori sensati: