普通の言語にある副作用(IOモナド相当のみ)はあまり欲しくないけど、reflect/reifyくらいあってもよさそう。

main = print $ reflect( @[1, 2] + @[3, 4] )

で[4, 5, 5, 6]が表示されるとか、

main = reflect( @(writeFile (@getHomeDirectory ++ "/test.txt") @getContents) )

とか。