I agree that using `bind` can help fight bugs. I'm a bit concerned though about the performance implications. It's probably not a big issue for these changes, but in other critical code paths like typing performance it could be a concern.