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

[Araq]

> For example a library like my jsonschema which validates that a given JSON 
> object follows a schema and returns a distinct JsonNode type with only 
> acessors for the defined fields.

Can you publish my JSON schema implementation?