我對我們的可組合類型系統感到非常滿意。與其進行運行時檢查，不如以聲明的方式寫出條件。就像這裡我們使用 `NonEmpty` 來確保當你發送代幣時，不能發送零金額：

或者在這裡我們使用 `Bounded` 來確保費率是合理的值：