Ich bin wirklich zufrieden mit unserem zusammensetzbaren Typsystem. Anstatt Laufzeitprüfungen durchzuführen, schreibt man die Bedingungen einfach deklarativ aus. Hier verwenden wir `NonEmpty`, um sicherzustellen, dass man beim Senden von Token keinen Betrag von null senden kann:

Oder hier verwenden wir `Bounded`, um sicherzustellen, dass die Gebührensätze sinnvolle Werte haben: