On Sun, Aug 24, 2008 at 7:12 PM, Ashley Yakeley <ashley@semantic.org> wrote:
Is there any interest in implementing a top level "<-" to run monadic code?
 
This is actually implemented in jhc. See the 'top level actions' section of http://repetae.net/computer/jhc/manual.html 
 
-Edward Kmett