Estou muito feliz com nosso sistema de tipos combináveis. Em vez de fazer verificações de tempo de execução, você apenas escreve as condições declarativamente. Como aqui, usamos 'NonEmpty' para garantir que, ao enviar tokens, você não possa enviar um valor zero:

Ou aqui usamos 'Bounded' para garantir que as taxas sejam de valores sensatos: