Mixed types inheriting from generic mixed types works