Я дуже задоволений нашою системою композиційних типів. Замість того, щоб виконувати перевірки під час виконання, ви просто декларативно виписуєте умови. Як і тут, ми використовуємо 'NonEmpty', щоб гарантувати, що коли ви надсилаєте токени, ви не можете надіслати нульову суму:

Або тут ми використовуємо 'Bounded', щоб переконатися, що ставки комісії мають розумні значення: