Like C# of yesterday, after people realize they can put all their program code in a single IO monad for ultimate power and flexibility :)

Haskell.

Template Haskell?

Control.Arrow?

Idris?