DivValue: t.Type<DivValue> = ...