Comment by almostgotcaught

That only gives you trees not DAGs - you can't do fan-in (there's no way to "share" let bound names).