Can You Apply Constraints on Your Type?

The refinement types that are coming in zeo preled look really nice for doing tis, right? And what you were showing me indicated that if something could be checked by the compiler, it would be. If it wasn't possible, then it would add some of something in the constructoro to test the type when it was being created. But there's times when you have a value at compile time which should be able to be checked at compile time. And an prelude does that. It gives you a nice programming model for for dealing with those pre conditions.