Я действительно доволен нашей композируемой типовой системой. Вместо выполнения проверок во время выполнения, вы просто описываете условия декларативно. Например, здесь мы используем `NonEmpty`, чтобы гарантировать, что когда вы отправляете токены, вы не можете отправить нулевую сумму:

Или здесь мы используем `Bounded`, чтобы гарантировать, что ставки сборов имеют разумные значения: