sealed traits that aren't extended