The Cyber Programming Language
fubark.github.io
fubark.github.io
After all, that's what "colorless" implies to me: it's possible to take a non-async function and make it async without having to change its callers. This suggests we don't change its return type.