I'm really happy with our composable type system. Instead of doing runtime checks, you just write out the conditions declaratively. Like here we use `NonEmpty` to ensure when you send tokens, you can't send zero amount:

Or here we use `Bounded` to ensure the fee rates are of sensible values: