export(add_trait)
export(implemented_traits)
export(require_a)
