require_a               Ensure a value has a desired set of traits.
