Ik ben echt blij met ons composable type systeem. In plaats van runtime-controles uit te voeren, schrijf je de voorwaarden gewoon declaratief uit. Zoals hier gebruiken we `NonEmpty` om ervoor te zorgen dat wanneer je tokens verstuurt, je geen nulbedrag kunt versturen:

Of hier gebruiken we `Bounded` om ervoor te zorgen dat de vergoedingen redelijke waarden hebben: