Can we avoid the orphan rule for empty traits?

Global features addresses this problem in some capacity.