interpreter now has potential for different monads

The far-off project idea is a Template Haskell preprocessor, letting you
write Haskell functions as Rail functions. This would also make heavy
use of the recently added Value class (to do the dynamic serialization
across the languages).