A library for declaratively defining structs with field-level coercions and validations