Estoy realmente feliz con nuestro sistema de tipos componible. En lugar de hacer verificaciones en tiempo de ejecución, simplemente escribes las condiciones de manera declarativa. Como aquí usamos `NonEmpty` para asegurar que cuando envías tokens, no puedes enviar una cantidad cero:

O aquí usamos `Bounded` para asegurar que las tarifas sean de valores razonables: