Is it possible to encode constraints directly into a type, and enforce them at runtime?

[planetis]

Hey @Araq would you please share your implementation? I want to have some form 
of validation implemented with my library but I am not sure if it should be 
schema or JSON type definitions.