> Those exists in macro assemblers, for they are extremely thin abstractions, no thicker than jumping to a label instead of jumping to an absolute or relative address.

They’re much more than that because of type aliasing, which is what lets you write -> . = operations all day without each one literally being a memory access in asm.