jm2c, never had an issue with coloured functions, as long as they are tracked at the type level and you know what you're getting.

Yes, eventually you're gonna lift sync to async code, and that works fine as it is generally also the runtime model (asynchronous, event-based).