> asynchronous functions really are different, they really do accept and return different types of values in the form of callbacks and futures.

I'd argue that all code at some level is asynchronous. Once you start considering how the CPU executes code, and how OSes schedule threads/processes, it's not all that different. Yet, for some reason, we call that code synchronous.