> There will also likely be available Haskell's do notation "sugaring" as > applied only to andThen's in the interests of ease of writing monadic chains, > and a form of code generation macro definitions that will be more than C's > preprocessor #define's but less than Nim's AST macro's which open up a way to > abuse in redefining the language.
What you wrote there -- it's pretty much all wrong.