Role: t.Type<Role> = ...