with an emacs monad, haskell functions could pull informations from emacs and use them for calculating stuff, effectively allowing to drive emacs to a much higher degree from haskell.
Open questions:
make it a newtype for IO?
a transformer over the Result monad?
how to organize the communication without nuking the communication from other functions?
is the user allowed to actually run the computation or is this done in the compiled prog?
parse the module and splice unsafePerformIOs to access the writer and convert Emacs a -> Lisp?
with an emacs monad, haskell functions could pull informations from emacs and use them for calculating stuff, effectively allowing to drive emacs to a much higher degree from haskell.
Open questions: