The 'monadise' functions use the effect annotations in the expression tree