First draft of intermediate monadic form.