Basic support for "monad soak"

Generates plausible JS. Probably doesn't work for a lot of cases yet