[toolslive]

Is there support for effects or is there something like a concurrency monad ?

[paniq303]

I don't know what those are, but Scopes is designed to make it easy for users to implement their own meta-programming abstractions. It might be possible to build such mechanisms from within the language. I certainly want to hear of the instances where it is not.

[toolslive]

https://github.com/yallop/effects-bibliography

Anyway, the type of the print "hello world" expression would explain a lot.