What does the future hold for IO?

I'm a big fan of the possibilities that IO brings to the table. Lazy evaluation, and IO's intensely powerful code introspection are very alluring, especially when you consider the lean and embeddable nature of the IO VM.

What does the future hold for IO? what cool new tricks are up your sleeve?

For my own desires, I'd rather have a syntax with fewer parentheses.