How to create Arbitrary instance for dependent types?

[tomjaguarpaw]

@cdepillabout

You could always unsafeCoerce your way to an SNat, if you really needed to.

Yikes! I recommend strongly against that. You’d be losing all the benefits of type safety that you’re trying to gain, plus more!