コンポーザブル型システムには本当に満足しています。実行時チェックを行う代わりに、条件を宣言的に書き出すだけです。ここでは、トークンを送信するときにゼロの金額を送信できないように「NonEmpty」を使用します。

または、ここでは「Bounded」を使用して、手数料率が適切な値であることを確認します。