beautify. oh, had implicit returns in functions by a return NormalCompletion(exprRef) at the end.