'let and' added for monadise_let_rec