You can desugar let bindings that way but often times (as I believe is the case in GHC) you have a `Let` term in your AST.