monadise_let_rec uses the environment