ValueEQ: t.Type<ValueEQ> = ...