s_mach.validate
an optional validator wrapper for any type that implicitly defines a validator
a collection validator wrapper for any type that implicitly defines a validator