> To me, this additional type add «color» to the functions just like > async/await construct does in Javascript
Every type distinction introduces these "colors". So it doesn't actually mean anything to complain about "colored" functions.
> To me, this additional type add «color» to the functions just like > async/await construct does in Javascript
Every type distinction introduces these "colors". So it doesn't actually mean anything to complain about "colored" functions.