======	Errors when renaming:
Infix operator at 2:21-2:22 is non-associative.