trait HasImpl