Question: Why is it possible to mix in classes in a type field?