Jestem naprawdę zadowolony z naszego systemu typów kompozytowych. Zamiast przeprowadzać kontrole w czasie wykonywania, po prostu zapisujesz warunki deklaratywnie. Na przykład tutaj używamy `NonEmpty`, aby zapewnić, że gdy wysyłasz tokeny, nie możesz wysłać zerowej kwoty:

Lub tutaj używamy `Bounded`, aby zapewnić, że stawki opłat mają sensowne wartości: