C20 & C++20 or Lisp/Scheme/Haskell

syntactic, hygienic macros
call/cc
algebraic types
monads

They're actually adding these things to C and C++. What the hell is going on?

https://herbsutter.files.wordpress.com/2017/07/p0707r1.pdf
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0534r0.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf

What is the point of constexpr anyway? Any self-respecting compiler could easily deduce if a function is pure or not without it.

Template metaprogramming is stupid as well, C macros are already almost perfect (almost because you can't use #define inside defines).