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

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