Tôi thực sự hài lòng với hệ thống kiểu có thể kết hợp của chúng ta. Thay vì thực hiện các kiểm tra tại thời gian chạy, bạn chỉ cần viết ra các điều kiện một cách tuyên bố. Như ở đây, chúng tôi sử dụng `NonEmpty` để đảm bảo khi bạn gửi token, bạn không thể gửi số lượng bằng không:

Hoặc ở đây chúng tôi sử dụng `Bounded` để đảm bảo rằng tỷ lệ phí là những giá trị hợp lý: