Jag är verkligen nöjd med vårt komponerbara typsystem. I stället för att göra körningskontroller skriver du bara ut villkoren deklarativt. Som här använder vi "NonEmpty" för att säkerställa att när du skickar tokens kan du inte skicka noll belopp:

Eller här använder vi "Bounded" för att se till att avgiftssatserna är av vettiga värden: