Norm provides a set of functions for specifying data.
Defines a conformable type. Must take the type, current path, and input and return an success tuple with the conformed data or a list of errors.
Defines generatable types