This fixes and expands the documentation around -XTypeOperators, fixing #19064 (closed).
-XTypeOperators