Estou realmente feliz com o nosso sistema de tipos composáveis. Em vez de fazer verificações em tempo de execução, você apenas escreve as condições de forma declarativa. Como aqui usamos `NonEmpty` para garantir que, ao enviar tokens, você não pode enviar uma quantidade zero:

Ou aqui usamos `Bounded` para garantir que as taxas de comissão sejam de valores sensatos: