I actually suggested an alternative syntax based on Haskell. Read the response again.

That one can be a superset or it can be written in comments for static analysis.

The definitions are not embedded in the code, as in the case of the c++ family. So, the code don’t get extra noise, in other words, the beauty or readability is not reduced.