Sun Dec 23 19:29:35 EST 2012

Language parameterized by monad with pure semantics

In DSPM/Data we have a language parameterized by a monad, but the
language itself should have a functional semantics: the monad is there
for implementing code _structure_ not meaning.  Is there a better way
to encode this than just the comments?